chiark / gitweb /
makebuildserver: buildserverid should always be a string
authorHans-Christoph Steiner <hans@eds.org>
Mon, 14 Mar 2016 16:33:06 +0000 (17:33 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Mon, 14 Mar 2016 16:35:44 +0000 (17:35 +0100)
commit8f9940006421437c68ea62f6c477077b20427a71
tree147d4e030390211191754aa9c250601941c0b084
parentc1ac6f4e8880d034521f38930b3c3bc17efc10a2
makebuildserver: buildserverid should always be a string
makebuildserver