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: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]