chiark / gitweb /
Update buildd-reboot script to also stop buildd2