Bug#696348: gnome-shell restarts when closing gnome-terminal

[Josselin Mouette]

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
: :' :
`. `'
  `-