Le mercredi 19 décembre 2012 à 21:44 +0000, Harvey Kelly a écrit : > Package: gnome-shell > Version: 3.4.2-3 > Severity: normal > > Dear Maintainer, > > * What led up to the situation? > > Just using gnome-terminal as normal and then closing, whether by ctrl-d or > clicking 'close' window button, causes gnome-shell to restart
Is it reproducible? If so, please obtain a backtrace: http://wiki.debian.org/HowToGetABacktrace Cheers, -- .''`. Josselin Mouette : :' : `. `' `- -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
