Small run-time pruning doc fix

Title

Topic

Documentation

Created

2018-10-11 19:39:02

Last modified

2018-11-12 13:46:25 (5 years, 5 months ago)

Latest email

2018-11-12 21:20:42 (5 years, 5 months ago)

Status

2018-11: Committed

Target version

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