Hi Nicolas, Nicolas Goaziou <n.goaz...@gmail.com> writes:
> Well I'd rather revert it then. Too many headaches foreseen. The commit > was mostly cosmetic anyway. FWIW, yes, I cannot think of another good solution than reverting the commit. If it was just cosmetic, that's even better. Best, -- Bastien