22/12/2017 15:25, Adrien Mazarguil: > Such a change is unlikely to be accepted for 18.02 in any case, therefore if > the proposed workaround is deemed too risky, I offer to remove this patch > from the series. What do you suggest? Series applied without this patch. Please let's fix it in 18.05.