Wed, 29 Aug 2018 17:23:25 +0200 | Pierre-Yves David | branching: merge with stable | changeset | files |
Wed, 29 Aug 2018 10:46:37 +0200 | Pierre-Yves David | packaging: fix debian version numbers | changeset | files |
Wed, 29 Aug 2018 10:46:37 +0200 | Pierre-Yves David | packaging: fix debian version numbers | changeset | files |
Tue, 28 Aug 2018 21:53:42 +0200 | Pierre-Yves David | branching: merge stable into default | changeset | files |
Tue, 28 Aug 2018 21:53:07 +0200 | Pierre-Yves David | packaging: mark in progress work as development version | changeset | files |
Tue, 28 Aug 2018 20:30:57 +0200 | Pierre-Yves David | Added tag 8.1.2 for changeset f1cde4c97806 | changeset | files |