Thu, 02 Aug 2012 18:52:15 +0200 Pierre-Yves David merge
Mon, 30 Jul 2012 22:45:06 +0200 Pierre-Yves David amend: wrap the whole process in a single transaction. stable
Tue, 31 Jul 2012 15:23:01 +0200 David Douard pushkey: properly handle abort during obsolete markers push stable
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip