On Sun, Aug 2, 2020 at 9:07 AM Michail Nikolaev <[email protected]> wrote: > Thanks for your work, the patch is looking better now.
Pushed -- thanks! -- Peter Geoghegan
On Sun, Aug 2, 2020 at 9:07 AM Michail Nikolaev <[email protected]> wrote: > Thanks for your work, the patch is looking better now.
Pushed -- thanks! -- Peter Geoghegan