chiark / gitweb /
Merge branch 'mr/update_platforms_tools' into 'master'
authorMarcus Hoffmann <bubuiic@aol.com>
Sun, 27 Aug 2017 19:41:16 +0000 (19:41 +0000)
committerMarcus Hoffmann <bubuiic@aol.com>
Sun, 27 Aug 2017 19:41:16 +0000 (19:41 +0000)
commit222b9251e7ec27518ecf43ac3de1c18a1694fb1d
tree525a0f28686a78e70ec9280494876097eb748dcf
parent794e4436b43dd06494766fef78a4feee2a3bc1bc
parent69666839f7d400c64a4e511df77d8ea4c1c870e9
Merge branch 'mr/update_platforms_tools' into 'master'

makebuildserver: update platform and build tool releases

See merge request !317