On Sat, Sep 6, 2008 at 4:36 PM, Martin Geisler <mg at daimi.au.dk> wrote: > Hi, > > I found some help strings for command line options which were not yet > marked for translation. Pushed to crew, thanks. Benoit