Mon, 18 Nov 2019 13:04:56 +0100 Pierre-Yves David branching: merge with stable
Mon, 18 Nov 2019 13:01:38 +0100 Pierre-Yves David changelog: add a couple of missing entry about the next feature release
Mon, 18 Nov 2019 12:58:02 +0100 Pierre-Yves David changelog: fix entry in the wrong location
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip