Dear all,

we still have a few open pull requests. Almost all of them are now in conflict with the master branch. What is the best practice in this case? Merge them with master from time to time? Or wait until someone deals with them?

I am asking because of #852 and #692. They involve a series of rather important bugfixes, but could not be merged at the current point in time.

Best,

Johannes