On Fri, Sep 11, 2020 at 10:09:00AM +0200, Jehan-Guillaume de Rorthais wrote:
> On Fri, 11 Sep 2020 15:14:41 +0900 Michael Paquier <michael(at)paquier(dot)xyz> wrote:
>> FWIW, I think that the fix proposed is fine as-is, and that we had
>> better apply it.
>
> +1
Alvaro, would you prefer doing the final checks on this patch by
yourself and potentially commit it?
--
Michael