[Pkg-virtualbox-devel] Processed: Re: Bug#800034: closed by Gianfranco Costamagna <locutusofborg at debian.org> (Bug#800034: fixed in virtualbox-ext-pack 5.0.6-3)

[Debian Bug Tracking System]

Processing control commands:

> severity -1 normal
Bug #800034 [virtualbox-ext-pack] virtualbox-ext-pack: failed to uninstall
Severity set to 'normal' from 'serious'

-- 
800034: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=800034
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems