Hi all,<br><br>It&#39;s time for a new release I think; 0.10.0 was released just over 6 months ago. There are a lot of PRs to merge, but no release blockers anymore as far as I know. Does anyone still have important fixes or other things that should go in?<br>
<br>For the release schedule I propose:<br>June  7: beta 1<br>June 17: rc 1<br>June 30: rc 2<br>July  7: final release<br><br>Ralf<br><br>