| Sat, 31 Dec 2011 10:15:53 +0100 | krauss | disabled failing sledgehammer unit test (collateral damage of 184d36538e51) | changeset | files |
| Sat, 31 Dec 2011 00:19:32 +0100 | krauss | disabled kodkodi in mira runs as well (cf. 493d9c4d7ed5) | changeset | files |
| Fri, 30 Dec 2011 18:14:56 +0100 | berghofe | merged | changeset | files |