On Thu, Jun 9, 2022 at 11:20 AM Robert Haas <robertmh...@gmail.com> wrote:
> I think I'd feel more comfortable if you wrote the patch, if that's possible.

Okay, pushed a fix just now.

Thanks
-- 
Peter Geoghegan


Reply via email to