(switched to email. Please respond via emailed reply-to-all, not via the bugzilla web interface). -- [ message continues ]
Disregard, it's my own timer debugging code gone wrong. johannes [ message continues ]