Sat, 25 Aug 2012 15:37:28 +0200 | Pierre-Yves David | amend: lock the repository during the whole process | changeset | files |
Mon, 10 Sep 2012 14:08:10 -0700 | Bryan O'Sullivan | Merge with crew | changeset | files |
Tue, 28 Aug 2012 20:52:04 +0200 | Pierre-Yves David | obsolete: introduce caches for all meaningful sets | changeset | files |
Sun, 09 Sep 2012 12:35:06 +0200 | Patrick Mezard | Merge with stable | changeset | files |