On 6/11/19 2:33 AM, Alexander Korotkov wrote:
On Sat, Jun 8, 2019 at 8:17 PM Alexander Korotkov
<a.korot...@postgrespro.ru> wrote:
On Fri, Jun 7, 2019 at 6:02 PM Ian Barwick <ian.barw...@2ndquadrant.com> wrote:
On 6/7/19 9:00 PM, Michael Paquier wrote:
On Fri, Jun 07, 2019 at 03:44:14PM +0900, Masahiko Sawada wrote:
> Or is that not worth bothering except on HEAD? Thoughts?
Personally I don't think it's that critical, but not bothered either way.
Presumably no-one has complained so far anyway (I only chanced upon the missing
GUC description because I was poking about looking for examples of custom
GUC handling...)
I think it worth maintaining consistent documentation and GUC
descriptions in back branches. So, I'm +1 for backpatching.
I'm going to commit all 3 patches (documentation, GUC description,
documentation indentation) on no objections.
Pushed!
Thanks!
Regards
Ian Barwick
--
Ian Barwick https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Training & Services
