Processed: downgrade severity of gtksourceview2 bugs instead of using ignore tag

Debian Bug Tracking System owner at bugs.debian.org
Wed Oct 31 10:39:07 GMT 2018


Processing commands for control at bugs.debian.org:

> severity 911167 important
Bug #911167 [src:gwyddion] gwyddion: Depend on gtksourceview2
Severity set to 'important' from 'serious'
> severity 911164 important
Bug #911164 [gnome-genius] gnome-genius: Depends on unmaintained gtksourceview2
Severity set to 'important' from 'serious'
> severity 885681 important
Bug #885681 [src:gummi] gummi: Depends on unmaintained gtksourceview2
Severity set to 'important' from 'serious'
> severity 911166 important
Bug #911166 [src:gtksourceview2] gtksourceview2: Do not release with Buster
Severity set to 'important' from 'serious'
> tags 911167 -buster-ignore
Bug #911167 [src:gwyddion] gwyddion: Depend on gtksourceview2
Removed tag(s) buster-ignore.
> tags 911164 -buster-ignore
Bug #911164 [gnome-genius] gnome-genius: Depends on unmaintained gtksourceview2
Removed tag(s) buster-ignore.
> tags 885681 -buster-ignore
Bug #885681 [src:gummi] gummi: Depends on unmaintained gtksourceview2
Removed tag(s) buster-ignore.
> tags 911166 -buster-ignore
Bug #911166 [src:gtksourceview2] gtksourceview2: Do not release with Buster
Removed tag(s) buster-ignore.
>
End of message, stopping processing here.

Please contact me if you need assistance.
-- 
885681: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=885681
911164: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=911164
911166: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=911166
911167: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=911167
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the debian-science-maintainers mailing list