> On 7 Jul 2026, at 08:36, Michael Paquier <[email protected]> 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
