On Mon, Jun 08, 2026 at 10:36:29AM +0900, Michael Paquier wrote:
> Thanks for the report and the patch.

Done as of 3d0d6741d810 & friends.

--
Michael