Processing commands for cont...@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 ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-forwarded-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
