On Sun, Aug 2, 2020 at 9:07 AM Michail Nikolaev<michail(dot)nikolaev(at)gmail(dot)com> wrote:> Thanks for your work, the patch is looking better now.
Pushed -- thanks!
-- Peter Geoghegan