Make server_version_num GUC_REPORT

Edit
ID 749
Title Make server_version_num GUC_REPORT
CI (CFBot) Not processed
Stats (from CFBot) Unknown
Topic Server Features
Tags
Created 2016-08-29 03:52:19
Last modified 2016-08-30 01:05:04 (9 years ago)
Latest email 2016-08-29 08:56:57 (9 years ago)
Status
2016-09 (2016-09-01 – 2016-09-30): Returned with feedback
Target version
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 <[email protected]>
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 [email protected]
2016-08-29 03:52:19 Craig Ringer (ringerc) Created patch record
Edit