chiark / gitweb /
timer: reenable TIMER_ACTIVE timers when restarted