Processed: merge 749281 746204

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 746204 normal
Bug #746204 [gnome-terminal] gnome-terminal: -t/--title command line ignored
Severity set to 'normal' from 'important'
> merge 749281 746204
Bug #749281 [gnome-terminal] gnome-terminal: Setting Title on tabs doesn't work
Bug #749281 [gnome-terminal] gnome-terminal: Setting Title on tabs doesn't work
Marked as found in versions gnome-terminal/3.14.1-1 and gnome-terminal/3.12.0-2.
Added tag(s) wontfix and upstream.
Bug #746204 [gnome-terminal] gnome-terminal: -t/--title command line ignored
Marked as found in versions gnome-terminal/3.12.2-1.
Merged 746204 749281
>
End of message, stopping processing here.

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