On Wed, Apr 8, 2020 at 11:17 AM Tom Lane <[email protected]> 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
On Wed, Apr 8, 2020 at 11:17 AM Tom Lane <[email protected]> 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