chiark / gitweb /
Merge branch 'master' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 14 Mar 2016 23:37:51 +0000 (23:37 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 14 Mar 2016 23:37:51 +0000 (23:37 +0000)
commit8041e349573b772a849bf946ef9e4061af2537e9
tree3388eec494c0ddc96fd5f2ddac3696596428dd6b
parent5d296f8c615260bd6119bcb9b7d1d7515fa5864e
parent8f9940006421437c68ea62f6c477077b20427a71
Merge branch 'master' into 'master'

makebuildserver: buildserverid should always be a string

missed one subprocess issue in !110

See merge request !112