Thu, 11 Apr 2019 21:43:37 +0200 | Pierre-Yves David | branching: merge stable into default | changeset | files |
Thu, 11 Apr 2019 21:12:09 +0200 | Pierre-Yves David | branching: merge default change into stable | changeset | files |
Thu, 11 Apr 2019 22:13:55 +0200 | Pierre-Yves David | branching: merge default branch in stable to prepare 8.5.0 release | changeset | files |