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