On Mon, Sep 18, 2006 at 10:56:44PM +0200, Martin S. Weber wrote: > But these options shouldn't be used to turn off unneeded options (e.g. imo > -inet6 should be default! Thanks, this was the ultimate reson to stop reading. Joerg