Processing commands for cont...@bugs.debian.org: > merge 721489 683744 Bug #721489 [gnome-terminal] gnome-terminal: black-on-black text with "Use colors from system theme" under non-GNOME Bug #723721 [gnome-terminal] gnome-terminal: black-on-black text with "Use colors from system theme" under non-GNOME Bug #731392 [gnome-terminal] gnome-terminal: black-on-black text with "Use colors from system theme" under non-GNOME Bug #721489 [gnome-terminal] gnome-terminal: black-on-black text with "Use colors from system theme" under non-GNOME Marked as found in versions gnome-terminal/3.4.1.1-1. Marked as found in versions gnome-terminal/3.4.1.1-1. Marked as found in versions gnome-terminal/3.4.1.1-1. Added tag(s) upstream. Added tag(s) upstream. Added tag(s) upstream. Bug #683744 [gnome-terminal] gnome-terminal: startup broken - the terminal is not usable afterwards (in awesome) Marked as found in versions gnome-terminal/3.4.1.1-2, gnome-terminal/3.8.3-1, and gnome-terminal/3.10.1-1. Added tag(s) sid and jessie. Bug #723721 [gnome-terminal] gnome-terminal: black-on-black text with "Use colors from system theme" under non-GNOME Bug #731392 [gnome-terminal] gnome-terminal: black-on-black text with "Use colors from system theme" under non-GNOME Merged 683744 721489 723721 731392 > thanks Stopping processing here.
Please contact me if you need assistance. -- 683744: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=683744 721489: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=721489 723721: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=723721 731392: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=731392 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
