log

age author description
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