@juelicher If there are PRs available for fixes, discuss the progress directly there and make sure to have them reviewed, approved and tested ahead of time. Our deadline is tonight, so there are just 2 hours left now, so I don’t see much chance for the mentioned issues. But I’d hope we will be able to create a 2.2.1 patch release in a month or two, so you might want to get them in there.
@Moxified If there isn’t even anybody working on a fix for that issue yet, that looks even worse than @juelicher’s issues… Please follow up on the issue and find someone to fix it (if you can’t do it yourself).