[Pkg-virtualbox-devel] Processed: Re: Bug#535777: virtualbox-ose-source: build failure vboxnetflt/../SUPDrvIDC.h:237

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tag 535777 moreinfo
Bug#535777: virtualbox-ose-source: build failure vboxnetflt/../SUPDrvIDC.h:237
There were no tags set.
Tags added: moreinfo

> tag 535777 unreproducible
Bug#535777: virtualbox-ose-source: build failure vboxnetflt/../SUPDrvIDC.h:237
Tags were: moreinfo
Tags added: unreproducible

> severity 535777 normal
Bug#535777: virtualbox-ose-source: build failure vboxnetflt/../SUPDrvIDC.h:237
Severity set to `normal' from `important'

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)