On Fri, Oct 17, 2014 at 12:01:37PM +0200, Robert Helling wrote: > sorry, this was a mess (and I also didn’t realize that to amend a commit you have to add the additional files > so a lot was missing). Here is now a diff to current origin/master. Umm, no - nothing was attached :-( /D