Comment 92 for bug 508516

Revision history for this message
Seth Forshee (sforshee) wrote :

@David, you need to specify both nohz=off and highres=off to work around this bug.