Small run-time pruning doc fix

Edit
ID 1825
Title Small run-time pruning doc fix
Topic Documentation
Created 2018-10-11 19:39:02
Last modified 2018-11-12 13:46:25 (6 years ago)
Latest email 2018-11-12 21:20:42 (6 years ago)
Status
2018-11: Committed
Target version
Authors David Rowley (davidrowley)
Reviewers Peter Eisentraut (petere)Become reviewer
Committer Peter Eisentraut (petere)
Links CFbot results (CirrusCI) CFbot GitHub
Checkout latest CFbot patchset Go to your local checkout of the PostgreSQL repository and run:
git remote add commitfest https://github.com/postgresql-cfbot/postgresql.git
git fetch commitfest cf/1825
git checkout commitfest/cf/1825
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
Edit