chiark / gitweb /
buildd-reboot: change shutdown time to 1 minute from 15
authorPeter Palfrader <peter@palfrader.org>
Mon, 14 Jun 2010 15:53:59 +0000 (17:53 +0200)
committerPeter Palfrader <peter@palfrader.org>
Mon, 14 Jun 2010 15:53:59 +0000 (17:53 +0200)
commit4cfdcebd6564f02e7972980dc182620bda02796f
tree51d58dab53c1d1f393b574bc380929a79f1f1a5a
parentc5fd1c6d19e50d3970066aa9e38a893b7533208f
buildd-reboot: change shutdown time to 1 minute from 15
buildd-reboot
debian/changelog