Mercurial > evolve
graph
-
branching: merge with stableWed, 29 Aug 2018 17:23:25 +0200, by Pierre-Yves David
-
packaging: fix debian version numbersWed, 29 Aug 2018 10:46:37 +0200, by Pierre-Yves David
-
branching: merge stable into defaultTue, 28 Aug 2018 21:53:42 +0200, by Pierre-Yves David