On Tue, Oct 14, 2025 at 6:39 PM Heikki Linnakangas <hlinnaka@iki.fi> wrote: > Yep, thanks! Feel free to commit the fix, or I can do it on Friday myself.
This has been fixed already, since it was reported on the pgsql-docs list but I didn't see that until it was committed.
Yeah, and I didn't see the one on -bugs until you pointed it out. Sorry about that!