Andres Freund <and...@anarazel.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
