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)
commit7c3333ac020553e4b08b83173571da80e847b5a0
treed85be74df5ec24ce8ee5d8c8252d5877230288ad
parent349bcb0e8e519e49cca0914d95921af750f35883
parent156fbcc377480571680ca8c51304f828f017a608
Merge branch 'platform-27_r01' into 'master'

makebuildserver: add platform-27_r01

See merge request fdroid/fdroidserver!364