Oliver Heger a écrit :
> Just noticed that a test is failing on this branch (see below). Is there
> a test configuration file missing?
>
> Oliver
Indeed, it was missing from the last commit. It's fixed now.
Emmanuel Bourg
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@... For additional commands, e-mail: dev-help@...