last issue for 0.5.1
(to keep milestone open in case it's empty of other issues)
that's what I get currently with backport_pr.py
Marked PR closed without merge: 1058
The following PRs should be backported:
there are still some open issues in the milestone 0.5.1
These are all merged. Provided everything looks good, we need to merge #1142, but not before we're sure that nothing else needs to go into 0.5.1. Backport that, then tag and release. I'll look into getting the SDK setup on windows 8, but from what I've read this might not be so easy.
Thanks for doing the "git work". I'm glad that we can merge again into master without worrying about how it affects 0.5.x.
I will start testing most likely tomorrow and check if we missed something. (today it's still cluster robust and family)
Closing this. We should just release 0.6 at this point.