> Von: Samuel Thibault
> 
> Now the question might be: should we keep it enabled by default?
> Ideally the bug should just be fixed in VirtualBox (supposedly free
> software).
> 

I've opened a VirtualBox ticket for this:

http://www.virtualbox.org/ticket/7368

I would keep the driver(s) enabled.

-- 
Regards,
Jens


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/[email protected]

Reply via email to