On Thu, Apr 21, 2016 at 09:36:33PM +0200, Ulf Brosziewski wrote: > Ping? > > It isn't a severe bug and it doesn't concern a spectacular feature, > but shouldn't we fix it? >
I run it too since 1 week I think, and I don't see any problem (I forgot it :) ). I am OK with it, but as I am not really competent in this area you shouldn't take my OK as really authoritative :) Thanks. -- Sebastien Marie
