22 May
2015
22 May
'15
6:25 a.m.
Hi all, I want to merge the branch. I don't have much more time to improve the code, so all I want to do is fix severe errors. I think the best way to find out if it works is to do the merge and see what happens. Unfortunately, I'll not have time to fix things during the next week, so please test the branch with your style and let us know if it worked well. The merge should happen on Monday, June 1. Alternative: Merge today. Ciao, Gerd