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



Reply via email to