> On 7 Jul 2026, at 08:36, Michael Paquier <michael(at)paquier(dot)xyz> wrote:
> In short, I think that the patch should be OK. Purely cosmetic, still
> OK. Daniel?
Agreed, I had this thread shortlisted for when back from vacation so I will
take care of it shortly.
--
Daniel Gustafsson