On Fri, Oct 23, 2020 at 04:37:18PM +0900, Michael Paquier wrote:> No worries. Good catch. I'll try to test that and apply it later,> but by reading the code it looks like you got that right.
Checked and applied on HEAD, thanks!--Michael