Mon, 03 Sep 2018 21:08:33 +0200 Pierre-Yves David branching: merge the two stable heads stable
Mon, 03 Sep 2018 17:21:16 +0200 Pierre-Yves David test-output: backout test output update in 8fcee1e65e29 stable
(0) -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 tip