On Tue, Jul 23, 2024 at 1:37 AM Peter Eisentraut <peter(at)eisentraut(dot)org> wrote:
> Committed.
Thanks!
> (I suppose this could be considered a bug fix, but I don't feel an
> urgency to go backpatching this. Let me know if there are different
> opinions.)
Certainly no urgency. The docs part of the patch also could be
backported alone, but I don't feel strongly either way.
--Jacob