Processed: merge 712104 715203

Fri Feb 14 15:24:11 UTC 2014

Processing commands for control at bugs.debian.org:

> merge 712104 715203
Bug #712104 [gnome-terminal] gnome-terminal: gksu gnome-terminal doesn't start in certain conditions
Bug #720920 [gnome-terminal] gnome-terminal: Opening 'Root-Terminal' (gksu x-terminal-emulator) a 2nd time in session fails with error
Bug #715203 [gnome-terminal] gnome-terminal: After upgrade from stable to unstable Debian root terminal crashed.
Marked as found in versions gnome-terminal/3.10.1-1.
Added tag(s) confirmed.
Bug #720920 [gnome-terminal] gnome-terminal: Opening 'Root-Terminal' (gksu x-terminal-emulator) a 2nd time in session fails with error
Merged 712104 715203 720920
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
712104: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=712104
715203: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=715203
720920: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=720920
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems