Julien Rouhaud <[email protected]> writes: > On Sun, Dec 8, 2019 at 3:51 AM Tatsuo Ishii <[email protected]> wrote: >> Thanks for looking into this. The patch looks much cleaner than >> before.
> I agree this is way better!
Pushed like that, then.
regards, tom lane
