Processing commands for cont...@bugs.debian.org: > user debian...@lists.debian.org Setting user to debian...@lists.debian.org (was a...@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 ow...@bugs.debian.org with problems
