chiark / gitweb /
Merge branch 'build-tools_r27.0.2' into 'master'
authorMarcus <bubu@bubu1.eu>
Fri, 15 Dec 2017 12:14:00 +0000 (12:14 +0000)
committerMarcus <bubu@bubu1.eu>
Fri, 15 Dec 2017 12:14:00 +0000 (12:14 +0000)
commit86cb8cbce7cf50e9ab9c66fbadfe78c1ee1c63de
tree85febf6c117626267ff87836a072d71700215cc8
parenta6928571a56dc1f41f87640efb39140bfc12cec7
parentb2213f1e627a734660d2207a4c2c826ee66cc9ae
Merge branch 'build-tools_r27.0.2' into 'master'

makebuildserver: add build-tools_r27.0.2

See merge request fdroid/fdroidserver!413
makebuildserver