Processing commands for cont...@bugs.debian.org: > unmerge 723721 Bug #723721 [gnome-terminal] gnome-terminal: black-on-black text with "Use colors from system theme" under non-GNOME Bug #683744 [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 Bug #731392 [gnome-terminal] gnome-terminal: black-on-black text with "Use colors from system theme" under non-GNOME Disconnected #723721 from all other report(s). > severity 723721 normal Bug #723721 [gnome-terminal] gnome-terminal: black-on-black text with "Use colors from system theme" under non-GNOME Severity set to 'normal' from 'grave' > tags 723721 + moreinfo Bug #723721 [gnome-terminal] gnome-terminal: black-on-black text with "Use colors from system theme" under non-GNOME Added tag(s) moreinfo. > 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
