On Fri, May 1, 2020 at 4:46 AM Michael Paquier <michael@paquier.xyz> wrote:
>
> On Wed, Apr 29, 2020 at 09:15:06AM +0900, Michael Paquier wrote:
> > I am letting that aside for a couple of days to see if others have
> > more comments, and will likely commit it after an extra lookup.
>
> And applied after an extra lookup. Thanks for the discussion, James.
Yep. Thanks for pushing to make sure it was as correct as possible
while improving it.
James