On Sun, Jun 21, 2020 at 07:31:16PM +0900, Michael Paquier wrote:> Good catches, thanks Fabien. I will fix that tomorrow or so.
And applied to HEAD.--Michael