Tim Niemeyer wrote: > ok, but in the commit i can't see the new coding style! Oops ! I knew that git commit --amend would get me rather sooner than later :-( It's fixed now, in a new commit. No point in doing anything as evil as rewriting history :) Thanks ! - Werner