Processed: severity of 838253 is minor, bug 838253 is forwarded to https://bugzilla.gnome.org/769566

[Debian Bug Tracking System]

Processing commands for control at 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 owner at bugs.debian.org with problems