On 2011-08-20 14:42:03 +0200, Mike Hommey wrote: > Hardware problem? Definitely not: the same bug occurred on a completely different machine (still amd64, though).
I suppose that something important changed in the context (e.g. on the web page, in the cache...). This may not be surprising if the bug depends on what is in the memory, as I suppose it's some form of memory corruption. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <http://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org