On Sun, Aug 2, 2020 at 9:07 AM Michail Nikolaev <michail.nikol...@gmail.com> 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 <michail.nikol...@gmail.com> wrote: > Thanks for your work, the patch is looking better now.
Pushed -- thanks! -- Peter Geoghegan