Bug#696348: gnome-shell restarts when closing gnome-terminal
Josselin Mouette
joss at debian.org
Wed Dec 19 22:05:29 UTC 2012
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
: :' :
`. `'
`-
More information about the pkg-gnome-maintainers
mailing list