Michael Paquier <michael@paquier.xyz> 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