Bug#692518: Workaround

[Christoph Reiter]

Workaround:

gsettings set org.gnome.desktop.default-applications.terminal exec
gnome-terminal


-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org