chiark / gitweb /
Update buildd-reboot script to also stop buildd2
authorPeter Palfrader <peter@palfrader.org>
Sat, 5 Jul 2014 13:23:03 +0000 (15:23 +0200)
committerPeter Palfrader <peter@palfrader.org>
Sat, 5 Jul 2014 13:23:03 +0000 (15:23 +0200)
commit43742a72fb7e4246033340eacd98cbb75dffdfcc
tree00af7b1e65c0b0cc96556f938edd4e393f454aad
parent4c859754120fffdb811d102c78002459d22e551d
Update buildd-reboot script to also stop buildd2
buildd-reboot
debian/changelog