On Tue, Aug 02, 2022 at 07:32:54PM +0900, Michael Paquier wrote:
> As a quick update from my side, I intend to look and apply 0001~0003
> (not double-checked yet) shortly.
And a couple of days later, these look fine so done as of 47ab1ac and
718fe0a. 0002 and 0003 have been merged together.
--
Michael