On Tue, Oct 14, 2025 at 6:39 PM Heikki Linnakangas <hlinnaka(at)iki(dot)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.
--
John Naylor
Amazon Web Services