Hey all, I would like to discuss your view on having a 0.7.1 maintenance release.
Although there are no commits in the respective branches (except documentation updates), I think we already have a set of issues/fixes, which would be beneficial to have in a release. I vote to start collecting/cherry-picking issues to the respective branch. – Ufuk