Make it possible to add custom options to EXPLAIN

Edit
Title Make it possible to add custom options to EXPLAIN
Topic Monitoring & Control
Created 2023-11-02 07:43:10
Last modified 2023-11-02 13:07:45 (4 weeks ago)
Latest email 2023-11-30 15:40:15 (11 hours, 58 minutes ago)
Status
2023-11: Needs review
Target version
Authors Konstantin Knizhnik (knizhnik)
Reviewers Pavel Stehule (okbobcz)Become reviewer
Committer
Links Git
Emails
Custom explain options
First at 2023-10-21 12:16:33 by Konstantin Knizhnik <knizhnik at garret.ru>
Latest at 2023-11-30 15:40:15 by Konstantin Knizhnik <knizhnik at garret.ru>
Latest attachment (v20231129-0002-fix-whitespaces-and-formatting.patch) at 2023-11-29 20:03:21 from Pavel Stehule <pavel.stehule at gmail.com>
    Attachment (v20231129-0002-fix-whitespaces-and-formatting.patch) at 2023-11-29 20:03:21 from Pavel Stehule <pavel.stehule at gmail.com> (Patch: Yes)
    Attachment (custom_explain_options.patch) at 2023-10-21 12:16:33 from Konstantin Knizhnik <knizhnik at garret.ru> (Patch: Yes)
History
When Who What
2023-11-25 07:19:22 Pavel Stehule (okbobcz) Added okbobcz as reviewer
2023-11-02 13:07:45 John Naylor (john.naylor) Changed authors to Konstantin Knizhnik (knizhnik)
2023-11-02 07:44:34 Konstantin Knizhnik (knizhnik) Changed gitlink to https://github.com/knizhnik/postgres/pull/1
2023-11-02 07:43:11 Konstantin Knizhnik (knizhnik) Attached mail thread 6cd5caa7-06e1-4460-bf35-00a59da3f677@garret.ru
2023-11-02 07:43:10 Konstantin Knizhnik (knizhnik) Created patch record
Edit