Processed (with 1 error): Re: Bug#890845: HighContrast icon theme doesn't work with GTK3

[Debian Bug Tracking System]

Processing control commands:

> forwarded -1
Unknown command or malformed arguments to command.

> tags -1 -moreinfo
Bug #890845 [gnome-accessibility-themes] HighContrast icon theme doesn't work with GTK3
Removed tag(s) moreinfo.
> severity -1 serious
Bug #890845 [gnome-accessibility-themes] HighContrast icon theme doesn't work with GTK3
Severity set to 'serious' from 'normal'

-- 
890845: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890845
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems