Processed: found 800961 in 4.0.2-p2+ds-2, found 802143 in 5.0.10-1

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> found 800961 4.0.2-p2+ds-2
Bug #800961 [singular-ui] singular-ui: fails to upgrade squeeze -> wheezy -> jessie -> stretch
Marked as found in versions singular/4.0.2-p2+ds-2.
> found 802143 5.0.10-1
Bug #802143 [virtualbox-ext-pack] virtualbox-ext-pack: doesn't use invoke-rc.d - leaves processes running after purge
Marked as found in versions virtualbox-ext-pack/5.0.10-1.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
800961: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=800961
802143: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=802143
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems