Make server_version_num GUC_REPORT

Edit
Title Make server_version_num GUC_REPORT
Topic Server Features
Created 2016-08-29 03:52:19
Last modified 2016-08-30 01:05:04 (10 months ago)
Latest email 2016-08-29 08:56:57 (10 months ago)
Status
2016-09: Returned with feedback
Authors Craig Ringer (ringerc)
Reviewers Become reviewer
Committer
Links
Emails
PostgreSQL Version 10, missing minor version
First at 2016-08-28 16:55:23 by "Regina Obe" <lr at pcorp.us>
Latest at 2016-08-29 08:56:57 by Craig Ringer <craig at 2ndquadrant.com>
Latest attachment (0001-Report-server_version_num-alongside-server_version-i.patch) at 2016-08-29 03:41:00 from Craig Ringer <craig at 2ndquadrant.com>
    Attachment (0001-Report-server_version_num-alongside-server_version-i.patch) at 2016-08-29 03:41:00 from Craig Ringer <craig at 2ndquadrant.com> (Patch: Yes)

Annotations

When Who Mail Annotation
2016-08-29 03:52:50 Craig Ringer (ringerc) From Craig Ringer <craig@2ndquadrant.com>
at 2016-08-29 03:41:00
Patch to make server_version_num GUC_REPORT
History
When Who What
2016-08-30 01:05:04 Craig Ringer (ringerc) Closed in commitfest 2016-09 with status: Returned with feedback
2016-08-29 03:52:50 Craig Ringer (ringerc) Added annotation "Patch to make server_version_num GUC_REPORT" to CAMsr+YHPGq0HjqZ47ynSxO0LSPmmRgtSwCH8qVKAWbpogfgvYQ@mail.gmail.com
2016-08-29 03:52:28 Craig Ringer (ringerc) Changed authors to Craig Ringer (ringerc)
2016-08-29 03:52:19 Craig Ringer (ringerc) Attached mail thread 000001d2014c$f84b9190$e8e2b4b0$@pcorp.us
2016-08-29 03:52:19 Craig Ringer (ringerc) Created patch record
Edit