On Wed, Apr 8, 2020 at 11:17 AM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:> But this patch seems to still work,> and the other thing doesn't fix the problem, so pushed.
Thanks for working on this!
Best regards,Etsuro Fujita