On Mon, Sep 9, 2024 at 12:09 AM Richard Guo <guofengli...@gmail.com> wrote: > Fixed.
Thanks to Alexander for the very good catch and to Richard for pushing the fix. (I started to respond to this last week but didn't quite get to it before I ran out of time/energy.) -- Robert Haas EDB: http://www.enterprisedb.com
