@all,the plan was to create a 0.17.0 branch this week to have it ready in August or September for the next release. However, given the current state of CI I'm not quite sure if I should start this at all.
Opinions? Prepare 0.17.0 release branch yes or no? Have fun, JensG