On Mon, Sep 24, 2012 at 1:27 PM, Basile Starynkevitch <basile@starynkevitch.net> > I suggest to replace it with > > The bug is not reproducible, so it could be a plugin, hardware or OS problem slight update : The bug is not reproducible, so it could be an external problem : A plugin, hardware or OS problem