chiark / gitweb /
Merge branch 'updates' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Sat, 10 Sep 2016 10:06:44 +0000 (10:06 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Sat, 10 Sep 2016 10:06:44 +0000 (10:06 +0000)
all: bump to build-tools 24.0.2

Update the docker image to include it there too.

See merge request !163


Trivial merge