As there are lots of new bug fixes and enhancements in our Git repository, we thought it's time for a new release. The idea is to cut it on Tuesday. Let us know if there is anything that *must* go in before the release. Holger