Processed: merge 712104 720920 bugs

Wed Feb 12 14:21:08 UTC 2014

Processing commands for control at bugs.debian.org:

> merge 712104 720920
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
Marked as found in versions gnome-terminal/3.10.1-1.
Added tag(s) confirmed.
Merged 712104 720920
> thanks
Stopping processing here.

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