chiark / gitweb /
Fix double-Fault bug. Change state machine comment to have new Off behaviour, but...