2010/9/8 Philippe Houdoin <philippe.houdoin@xxxxxxxxx>: >> He didn't. It's only white space cleanup. > > Yes, and eventually (if I can get my style policy right) I'll style > clean this whole header one day... Ah sorry, I was mistaken by the style change not affecting the first line. Bye, Jérôme