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)
commit9f88bc63244c777fea25965d31403fc4aeb378d4
tree8b6a5bd8354b4436315c0325e0385d049427a44d
parent12d0fbf8c54d76b0d63429f7e038425bea2ee7f1
parentfd7a8c83c84ed817e1bb66d6bd18d9d83529fe1e
Merge branch 'updates' into 'master'

all: bump to build-tools 24.0.2

Update the docker image to include it there too.

See merge request !163