Processed: tagging 859926, tagging 740893, tagging 864423, tagging 908137, tagging 558422, tagging 851774

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> # propagate buster-ignore to stretch-ignore
> tags 859926 + stretch-ignore
Bug #859926 [speech-dispatcher] breaks with pulse-audio as output when spawned by speechd-up from init system
Added tag(s) stretch-ignore.
> tags 740893 + stretch-ignore
Bug #740893 [libjs-jquery-hotkeys] libjs-jquery-hotkeys: jquery.hotkeys changes break python-coverage html reports.
Added tag(s) stretch-ignore.
> tags 864423 + stretch-ignore
Bug #864423 [dmraid] Software RAID is not activated at boot time
Added tag(s) stretch-ignore.
> tags 908137 + stretch-ignore
Bug #908137 [src:luajit] luajit: lightuserdata problem with > 47 bit address space on arm64
Added tag(s) stretch-ignore.
> tags 558422 + stretch-ignore
Bug #558422 [grub-pc] grub-pc: upgrade hangs
Added tag(s) stretch-ignore.
> tags 851774 + stretch-ignore
Bug #851774 {Done: Cyril Brulebois <kibi at debian.org>} [apt-setup-udeb] Stop using apt-key add to add keys in generators/60local
Added tag(s) stretch-ignore.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
558422: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=558422
740893: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=740893
851774: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=851774
859926: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=859926
864423: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=864423
908137: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908137
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems