Paolo, --On 24 July 2013 09:54:57 +0200 Paolo Bonzini <pbonz...@redhat.com> wrote:
Alex, can you add it to your series? (Note that you must set a timer slack of 1, because 0 is interpreted as "default").
Sure, will do. I'm guessing I'll have to look for that inside configure as well. -- Alex Bligh