chiark / gitweb /
Merge branch '1.0-polish' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 11 Dec 2017 21:44:16 +0000 (21:44 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 11 Dec 2017 21:44:16 +0000 (21:44 +0000)
1.0 polish

Closes #424

See merge request fdroid/fdroidserver!405


Trivial merge