> On 14 Sep 2023, at 09:56, Michael Paquier <[email protected]> wrote:
> (I'm OK with your patch as well, FWIW.) Thanks for looking, pushed. -- Daniel Gustafsson
> On 14 Sep 2023, at 09:56, Michael Paquier <[email protected]> wrote:
> (I'm OK with your patch as well, FWIW.) Thanks for looking, pushed. -- Daniel Gustafsson