Hi Nicolas, Nicolas Goaziou <[email protected]> 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
