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
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