On Mon, Sep 24, 2012 at 1:27 PM, Basile Starynkevitch
<bas...@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
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive:
http://lists.debian.org/caf0qkv0da0ovy13gvovors598cdzhfpezcfzn8zzitjmr7b...@mail.gmail.com
