Bruce Momjian <br...@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