Bug#710122: Bug fixed

2013-06-02 Thread Mathieu Tartare
Bug fixed by re-installing ati proprietary drivers. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#710123: Bug fixed

2013-06-02 Thread Mathieu Tartare
Bug fixed by re-installing ati proprietary drivers. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#710122: gnome-shell does not start with segfault in libc-2.17.so

2013-05-28 Thread Mathieu Tartare
Package: gnome-shell Version: 3.4.2-7+b1 Severity: important Dear Maintainer, This is my first bug report, hope it's clear enough gnome-shell does not start anymore, in dmesg I get : [ 1013.012674] gnome-shell[7358]: segfault at 35 ip 7f0bceacde65 sp 7fffd2aea778 error 4 in libc-2.17.so[7