[Pkg-virtualbox-devel] Bug#440904: is this fixed?

[Patrick Winnertz]

Hello Frank,
I would like to ask if this behaviour is fixed when config_no_hz is 
enabled?

if yes, I'll close this bugreport within the next upload.

Greetings
Winnie
-- 
 .''`.   Patrick Winnertz <winnie at debian.org>
:  :' :  GNU/Linux Debian Developer
`. `'`   http://www.der-winnie.de http://d.skolelinux.org/~winnie
  `-  Debian - when you have better things to do than fixing systems