Hi, Frank Küster <[EMAIL PROTECTED]> wrote:
> Hi Florent,
[...]
> any chance that you find time for this?
This is now done. Sorry for taking so much time, but this is one of
those boring tasks with unclear non-technical choices[1] to make, so...
[1] Who are the copyright holders for $file? Which years to put in the
copyright notice? Is the file even copyrightable? etc.
--
Florent
