On Fri, May 22, 2020 at 11:08:45AM -0400, Bruce Momjian wrote:
> On Fri, May 22, 2020 at 11:57:39AM +0200, Peter Eisentraut wrote:
>> Why was this backpatched?
>
> Uh, why not? There have been requests to keep the docs as consistent as
> possible in back branches.
Because this is a cosmetic-only change and not something user-visible,
so it may be surprising to see it back-patched. I was a bit surprised
first, but after looking at it I don't have any problem with what you
did, and you actually made the effort to back-patch it.
--
Michael