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

[althaser]

Hey Harvey,

this is an old bug report.

Could you please still reproduce this issue with newer gnome-shell version
like 3.4.2-7+deb7u1 or 3.8.4-5+b1 ?

thanks
regards
althaser
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20140321/b115f2d9/attachment.html>