Wed, 29 Aug 2018 10:46:37 +0200 Pierre-Yves David packaging: fix debian version numbers
Tue, 28 Aug 2018 21:53:42 +0200 Pierre-Yves David branching: merge stable into default
Tue, 28 Aug 2018 21:53:07 +0200 Pierre-Yves David packaging: mark in progress work as development version stable
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip