chiark / gitweb /
buildd-reboot: change shutdown time to 1 minute from 15