Processing commands for cont...@bugs.debian.org: > severity 838253 minor Bug #838253 [gnome-terminal] gnome-terminal-[]: GtkScrollbar Severity set to 'minor' from 'important' > forwarded 838253 https://bugzilla.gnome.org/769566 Bug #838253 [gnome-terminal] gnome-terminal-[]: GtkScrollbar Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/769566'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 838253: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=838253 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems