On 27.09.2012 09:38, Olivier Sallou wrote: > The bug is not reproducible, so it is likely a hardware or OS problem.
so what didn't you understand? -- 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/50645680.7040...@debian.org