On Sat, Sep 30, 2023 at 08:58:12PM -0400, Tom Lane wrote:
> I'm content to wait a day and see if anybody wants to make an
> argument for back-patching.
Okay. Seeing nothing, I've looked more at that this morning and
applied the change to HEAD, for now.
--
Michael