<div dir="ltr"><div dir="ltr"></div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Le mar. 22 oct. 2019 à 08:43, Rémi Denis-Courmont <<a href="mailto:remi@remlab.net">remi@remlab.net</a>> a écrit :<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>Seems saner naming indeed<br></div></blockquote><div class="gmail_quote"><br></div>OK, that is what I did on the version 3 of this patchset, that I have just sent<div>Thanks</div><div>Jérôme</div></div></div>