chiark / gitweb /
manager: when we immediately reboot due to 7x C-A-D within 2s, mention this on the...