Processed: forcemerge 729324 763383

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forcemerge 729324 763383
Bug #729324 [gnome-terminal] gnome-terminal: transparent background options are no longer
Bug #729324 [gnome-terminal] gnome-terminal: transparent background options are no longer
Marked as found in versions gnome-terminal/3.14.0-1.
Bug #763383 [gnome-terminal] [PATCH] Add transparency option to gnome-terminal
Changed Bug forwarded-to-address to 'https://bugzilla.gnome.org/show_bug.cgi?id=698544, merged-upstream: http://bugzilla.gnome.org/show_bug.cgi?id=695371' from 'https://bugzilla.gnome.org/show_bug.cgi?id=698544'
Marked as found in versions gnome-terminal/3.10.1-1.
Added tag(s) fixed-upstream and patch.
Merged 729324 763383
> kthxbye
Stopping processing here.

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