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-10-01 02:34:54 (2 weeks, 1 day ago)
Latest email 2018-10-09 20:25:00 (1 week ago)
Status
2018-11: Needs review
Authors David Rowley (davidrowley)
Reviewers Become reviewer
Committer
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-10-09 20:25:00 by David Rowley <david.rowley 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-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