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

Title

CI (CFBot)

Not processed

Stats (from CFBot)

Unknown

Topic

Code Comments

Tags

Created

2018-10-01 02:34:46

Last modified

2018-11-15 22:15:03 (6 years ago)

Latest email

2018-11-15 22:13:32 (6 years ago)

Status

2018-11 (2018-11-01 – 2018-11-30): Committed

Target version

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