chiark / gitweb /
Merge branch 'master' into 'master'
authorBoris Kraut <krt@nurfuerspam.de>
Sat, 10 Jun 2017 09:55:47 +0000 (09:55 +0000)
committerBoris Kraut <krt@nurfuerspam.de>
Sat, 10 Jun 2017 09:55:47 +0000 (09:55 +0000)
makebuildserver: bump tools, add api26 and build-tools 26

See merge request !284


Trivial merge