chiark / gitweb /
Merge branch 'more-1.0-polishing' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Fri, 27 Oct 2017 07:11:50 +0000 (07:11 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Fri, 27 Oct 2017 07:11:50 +0000 (07:11 +0000)
More 1.0 polishing

Closes #402

See merge request fdroid/fdroidserver!362


Trivial merge