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