Michael Paquier <[email protected]> writes: > On Mon, Sep 30, 2019 at 08:47:33AM +0900, Michael Paquier wrote: >> Yes, it looks sensible to do that.
> Tom, would you prefer taking take of both issues by yourself? Do you
> mind if I handle both things? Or I could just commit my fix first,
> then leave it to you for the second one. I don't mind doing both
> FWIW.
Feel free to deal with both.
regards, tom lane
