Some incorrect comments and out-dated README from run-time pruning

Edit
Title Some incorrect comments and out-dated README from run-time pruning
Topic Code Comments
Created 2018-10-01 02:34:46
Last modified 2018-11-15 22:15:03 (3 weeks, 4 days ago)
Latest email 2018-11-15 22:13:32 (3 weeks, 4 days ago)
Status
2018-11: Committed
Authors David Rowley (davidrowley)
Reviewers Peter Eisentraut (petere)Become reviewer
Committer Peter Eisentraut (petere)
Links
Emails
Some incorrect comments and out-dated README from run-time pruning
First at 2018-09-27 21:20:18 by David Rowley <david.rowley at 2ndquadrant.com>
Latest at 2018-11-15 22:13:32 by Peter Eisentraut <peter.eisentraut at 2ndquadrant.com>
Latest attachment (various_run-time_pruning_doc_fixes_v2.patch) at 2018-10-09 20:25:00 from David Rowley <david.rowley at 2ndquadrant.com>
    Attachment (various_run-time_pruning_doc_fixes_v2.patch) at 2018-10-09 20:25:00 from David Rowley <david.rowley at 2ndquadrant.com> (Patch: Yes)
    Attachment (various_run-time_pruning_doc_fixes.patch) at 2018-09-27 21:20:18 from David Rowley <david.rowley at 2ndquadrant.com> (Patch: Yes)
History
When Who What
2018-11-15 22:15:03 Peter Eisentraut (petere) Closed in commitfest 2018-11 with status: Committed
2018-11-15 22:15:03 Peter Eisentraut (petere) Changed committer to petere
2018-11-15 22:14:58 Peter Eisentraut (petere) Added petere as reviewer
2018-10-01 02:34:54 David Rowley (davidrowley) Changed authors to David Rowley (davidrowley)
2018-10-01 02:34:46 David Rowley (davidrowley) Attached mail thread CAKJS1f95U964i4JdZ_L67sU=5v2PM92xNQwcBQ+3cyWH9d=J3g@mail.gmail.com
2018-10-01 02:34:46 David Rowley (davidrowley) Created patch record
Edit