chiark / gitweb /
makebuildserver added sleep after destroy/undefine
authorMichael Pöhn <michael.poehn@fsfe.org>
Sat, 25 Mar 2017 02:50:22 +0000 (03:50 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 23 May 2017 18:04:08 +0000 (20:04 +0200)
commit718d01dea2399de8f211fdc024c990cdd593cc75
tree89830dc171293d83ea4d1bc41810773caa09bb5d
parent3c4b1dec849e20172a7bdaefe4cd29f018c6300c
makebuildserver added sleep after destroy/undefine
makebuildserver