chiark / gitweb /
Forgot to bump the build tools in the server config
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 23 Oct 2014 13:21:07 +0000 (15:21 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 23 Oct 2014 13:21:07 +0000 (15:21 +0200)
commitfa465e24284963e6622c13e91c66983827b97110
treeed7bed491909fe1d77bcebb2c9317eb80725e492
parent57efa16f3fbdd39b57cf58289ec4bccc6fe5f823
Forgot to bump the build tools in the server config
buildserver/config.buildserver.py