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-10-11 19:39:13 (5 days, 5 hours ago)
Latest email 2018-10-08 08:22:35 (1 week, 1 day ago)
Status
2018-11: Needs review
Authors David Rowley (davidrowley)
Reviewers Become reviewer
Committer
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-10-08 08:22:35 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-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