Daniel Martí fdc70b0f9d Bump build-tools and docker image version
The latter is simply to include the newer version.
2016-09-10 12:02:12 +02:00
..
2015-09-25 22:00:24 -07:00