Eric Schulte <[email protected]> writes:

> Done.

Thanks for this.

I agree with Nicolas that small changes like this won't encourage
a structural change by themselves, but they do not harm either,
so let's not refrain from making them.

-- 
 Bastien

Reply via email to