On Tue, Jul 23, 2024 at 1:37 AM Peter Eisentraut <pe...@eisentraut.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
