On Tue, 2024-04-23 at 11:23 +0200, Peter Eisentraut wrote:> I think I found a small bug in this commit.
Good catch, thank you.
Committed a fix.
Regards, Jeff Davis