close 866306 thanks Hi Vagrant,
given that upstream adressed the report solely by merging the patch and no further inquery about it, that haveged is not needed anymore unless special setups, and given the bug is more than 7 years old with the last message from 6 years ago.. I'm closing the bug. If you can still reproduce it, feel free to reopen the bug. Regards, Daniel
