[Pkg-virtualbox-devel] Processed: user debian-qa at lists.debian.org, usertagging 800034, severity of 800034 is serious ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> user debian-qa at lists.debian.org
Setting user to debian-qa at lists.debian.org (was anbe at debian.org).
> usertags 800034 piuparts
There were no usertags set.
Usertags are now: piuparts.
> severity 800034 serious
Bug #800034 [virtualbox-ext-pack] virtualbox-ext-pack: failed to uninstall
Severity set to 'serious' from 'normal'
> found 800034 5.0.6-2
Bug #800034 [virtualbox-ext-pack] virtualbox-ext-pack: failed to uninstall
Marked as found in versions virtualbox-ext-pack/5.0.6-2.
> thanks
Stopping processing here.

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