Tue, 25 Jul 2017 20:16:33 +0200 | Pierre-Yves David | topic: fix extension version variable | changeset | files |
Tue, 25 Jul 2017 16:58:31 +0200 | Pierre-Yves David | branching: merge with stable | changeset | files |
Tue, 25 Jul 2017 16:58:04 +0200 | Pierre-Yves David | branching: merge with other stable head | changeset | files |