Fri, 19 Jun 2015 10:44:25 -0700 Pierre-Yves David evolve: add a hint about how to abort an evolve with conflict stable
Fri, 19 Jun 2015 00:17:34 -0700 Pierre-Yves David merge with branch closing commit stable
(0) -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 tip