In the coming weeks, I finally have some time to get the 0.10 release out.
I have already worked through the PRs and merged in the ones I felt sure about. I have also resolved the issues tagged in the 0.10 milestone. As far as I know, the manual should be good enough for a release.
The remaining thing to do that I know of: switch 1.0dev -> 0.10. This may surprize some people but I agree with the number update.
So - are there still issues that definitively need to be addressed before a release? Several people have already helped with this, thanks, that makes it a lot easier. So if you have time to go over things again and make sure nothing essential is missed, thanks again. The easiest for me is to use GitHub for feedback - e.g. commenting/reviewing PRs or labeling issues with the 0.10 milestone (but only when really sure ;-)).
Clearly, this is not a call for new features, but to get us a stable release so that we can move forward.
I will have to finish this somewhere in the second half of March (or earlier), afterwards I may get stuck in tape-out craze again