branching: merge with stable
authorPierre-Yves David <pierre-yves.david@octobus.net>
Mon, 23 Oct 2017 16:05:57 +0200
changeset 3138 8a390749ff67
parent 3122 c80ba40d4c87 (diff)
parent 3137 c3953ae44b87 (current diff)
child 3139 ec2251d0ba06
branching: merge with stable Prepare the 7.0.0 line.