Thu, 11 Apr 2019 22:41:06 +0200 | Pierre-Yves David | changelog: merge 8.4.1 and 8.5.1 entries | changeset | files |
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 |