> Looks good.  Incidentally if you didn't find it there is a script
> scripts/mkheaders.pl which can be used to update the various headers
> automatically from the 'float' version.

Ah..good to know :-)

Reply via email to