[Pkg-virtualbox-devel] Processed: your mail

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> notfound 886747 5.2.4-dfsg-2
Bug #886747 {Done: "Riepl, Gregor (SWISS TXT)" <Gregor.Riepl at swisstxt.ch>} [virtualbox-dkms] virtualbox-dkms: DKMS build fails with missing SUPDrv-linux.o
No longer marked as found in versions virtualbox/5.2.4-dfsg-2.
> thanks
Stopping processing here.

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