Sat, 25 Aug 2012 15:37:28 +0200 Pierre-Yves David amend: lock the repository during the whole process
Mon, 10 Sep 2012 14:08:10 -0700 Bryan O'Sullivan Merge with crew
Tue, 28 Aug 2012 20:52:04 +0200 Pierre-Yves David obsolete: introduce caches for all meaningful sets
Sun, 09 Sep 2012 12:35:06 +0200 Patrick Mezard Merge with stable
(0) -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip