chiark / gitweb /
Merge branch '1.0-fixes' into 'master'
authorTorsten Grote <t+gitlab@grobox.de>
Tue, 17 Oct 2017 14:19:47 +0000 (14:19 +0000)
committerTorsten Grote <t+gitlab@grobox.de>
Tue, 17 Oct 2017 14:19:47 +0000 (14:19 +0000)
1.0 fixes

Closes #357

See merge request fdroid/fdroidserver!353


Trivial merge