noisethoughts this is my testrepo or - maybe - git-playground (is there actually a command like 'git play'?) ok, just kidding ;) this is a serious messup, I'm afraid! I'm sure there was a linefeed after this ok-line above! ok, now it's there ...