[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Liberty-eiffel] ET's current run

From: Cyril ADRIAN
Subject: [Liberty-eiffel] ET's current run
Date: Wed, 16 Oct 2013 22:34:07 +0200

That's getting ridiculous.

If the current ET run is not finished tomorrow (and I suspect it won't be), I'll kill it.

It's my fault, there were a few bugs in the revamped manifest string handling. I should have better tested locally such a fundamental change. Sorry.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]