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)
makebuildserver: buildserverid should always be a string

missed one subprocess issue in !110

See merge request !112


Trivial merge