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


Reply via email to