chiark / gitweb /
Merge branch 'build-tools_r26.0.3' into 'master'
authorMarcus <bubuiic@aol.com>
Sun, 12 Nov 2017 17:18:22 +0000 (17:18 +0000)
committerMarcus <bubuiic@aol.com>
Sun, 12 Nov 2017 17:18:22 +0000 (17:18 +0000)
makebuildserver: add build-tools_r26.0.3

See merge request fdroid/fdroidserver!369


Trivial merge