On Sun, Jul 9, 2023 at 9:57 AM Peter Eisentraut <peter(at)eisentraut(dot)org>wrote:
> committed>Thanks!
-- Best regards,Anatoly Zaretsky