chiark / gitweb /
Merge branch 'port-to-osx-and-trusty' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Wed, 20 Sep 2017 15:24:57 +0000 (15:24 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Wed, 20 Sep 2017 15:24:57 +0000 (15:24 +0000)
port to OSX and Ubuntu/trusty

See merge request fdroid/fdroidserver!341


Trivial merge