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)
commit03ef37cbde93bd498c7b68c89f1b45b3152449d8
tree19d643f3524aa6dbb77cfe2733795fa8786f5108
parentc687a5c65dfb237a13c3daa87261be82af0549fd
parenteb64b0889d9451fcdf04b746dd1d5bb5192c0578
Merge branch 'master' into 'master'

makebuildserver: bump tools, add api26 and build-tools 26

See merge request !284