Julien Rouhaud <rjuju...@gmail.com> writes: > On Sun, Dec 8, 2019 at 3:51 AM Tatsuo Ishii <is...@sraoss.co.jp> 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
