Hi Joost, > A somewhat trivial patch to cleanup whitespace issues in comments: sed "s/\. \*\//\. \*\//g" > > Tested with a recompile only. > > Ok for trunk ? OK. (Obvious, really). Thomas