Re: [PATCH] Fix whitespace in comments.

[Thomas Koenig]

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