On 2019/01/06 23:06, Antoine Jacoutot wrote: > If we want to go in that direction, this patch is the way (with a bump :-)).
bleh, that would 90-odd bumps :/
On 2019/01/06 23:06, Antoine Jacoutot wrote: > If we want to go in that direction, this patch is the way (with a bump :-)).
bleh, that would 90-odd bumps :/