Bruce Momjian <bruce@momjian.us> writes:
> On Wed, Sep 30, 2020 at 02:11:54PM -0400, Tom Lane wrote:
>> Hm, I read your reference to "the release notes" as suggesting that
>> we should change it only in a major release, ie HEAD only (and it
>> looks like David read it the same). If you meant minor release notes,
>> then we're on the same page.
> Yes, I was thinking just the major release notes. What are you
> suggesting, and what did you ultimately decide to do? What I didn't
> want to do was to document the old behavior in the old docs and change
> it in PG 14.
Actually, I was just finishing up back-patching the patch I posted
yesterday. I think we should just fix it, not document that it's
broken.
regards, tom lane