Dear fellow committers, since our last release last October, we have collected several improvements and bugfixes and I think it’s a good time for a new release.
So please finish any pending issues you are currently working on. Should you need more time or otherwise object to cutting a new release then please let me know. I would appreciate a thumbs up i.e. a +1 if you consent. Best regards, Rainer
