On Fri, Apr 3, 2020 at 8:16 PM Fujii Masao <[email protected]> wrote: > > On 2020/04/04 2:46, Tom Lane wrote: > > Fujii Masao <[email protected]> writes: > >> Many thanks! Pushed. > > > > Looks like you didn't un-revert the main patch? > > Right now, pushed! I was waiting for my test to finish > without errors before commit. Anyway thanks!
Thanks a lot!
