branching: merge default into stable to prepare 9.1.0 stable
authorPierre-Yves David <pierre-yves.david@octobus.net>
Mon, 29 Jul 2019 14:38:31 +0200
branchstable
changeset 4775 cc96716f2ebf
parent 4765 c1d0faaa5b92 (diff)
parent 4774 12a88b988875 (current diff)
child 4780 f1af4909c6dc
child 4786 83d0bed86ced
branching: merge default into stable to prepare 9.1.0 Time for a new version!