Julien Rouhaud <rjuju123(at)gmail(dot)com> writes:
> On Sun, Dec 8, 2019 at 3:51 AM Tatsuo Ishii <ishii(at)sraoss(dot)co(dot)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