Wed, 29 Aug 2018 17:23:25 +0200 Pierre-Yves David branching: merge with stable
Wed, 29 Aug 2018 10:46:37 +0200 Pierre-Yves David packaging: fix debian version numbers stable
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
(0) -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip