severity 561882 normal tags 561882 patch thanks Norbert Preining wrote: > On Mon, 21 Dec 2009, Ludovic Brenta wrote: >> Severity: grave > > I don't agree on grave, but anyway ... OK, since the workaround is so simple, downgrading to normal. Thanks for the quick response. -- Ludovic Brenta.