Small run-time pruning doc fix

Edit
Title Small run-time pruning doc fix
Topic Documentation
Created 2018-10-11 19:39:02
Last modified 2018-11-12 13:46:25 (1 month ago)
Latest email 2018-11-12 21:20:42 (1 month ago)
Status
2018-11: Committed
Authors David Rowley (davidrowley)
Reviewers Peter Eisentraut (petere)Become reviewer
Committer Peter Eisentraut (petere)
Links
Emails
Small run-time pruning doc fix
First at 2018-10-08 08:22:35 by David Rowley <david.rowley at 2ndquadrant.com>
Latest at 2018-11-12 21:20:42 by David Rowley <david.rowley at 2ndquadrant.com>
Latest attachment (small_runtime_pruning_doc_fix.patch) at 2018-10-08 08:22:35 from David Rowley <david.rowley at 2ndquadrant.com>
    Attachment (small_runtime_pruning_doc_fix.patch) at 2018-10-08 08:22:35 from David Rowley <david.rowley at 2ndquadrant.com> (Patch: Yes)
History
When Who What
2018-11-12 13:46:25 Peter Eisentraut (petere) Closed in commitfest 2018-11 with status: Committed
2018-11-12 13:46:25 Peter Eisentraut (petere) Changed committer to petere
2018-11-02 07:30:40 Peter Eisentraut (petere) Added petere as reviewer
2018-10-11 19:39:13 David Rowley (davidrowley) Changed authors to David Rowley (davidrowley)
2018-10-11 19:39:02 David Rowley (davidrowley) Attached mail thread CAKJS1f-kkMLSfjxwJF0JiT0UzKkGFfzzRzifhKJiCfzXbZAWLg@mail.gmail.com
2018-10-11 19:39:02 David Rowley (davidrowley) Created patch record
Edit