chiark / gitweb /
Merge branch 'platform-27_r01' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Fri, 3 Nov 2017 13:14:16 +0000 (13:14 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Fri, 3 Nov 2017 13:14:16 +0000 (13:14 +0000)
makebuildserver: add platform-27_r01

See merge request fdroid/fdroidserver!364


Trivial merge