Andres Freund <andres(at)anarazel(dot)de> writes:
> On 2021-07-23 17:18:37 -0400, Tom Lane wrote:
>> Should we back-patch this, or just do it in HEAD? Maybe HEAD+v14?
> I'm ok with all, with a preference for HEAD+v14, followed by HEAD, and
> all branches.
After a bit more thought, HEAD+v14 is also my preference. I'm not
eager to change this in stable branches, but it doesn't seem too
late for v14.
regards, tom lane