chiark / gitweb /
Merge branch 'master' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Thu, 3 May 2018 12:11:48 +0000 (12:11 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Thu, 3 May 2018 12:11:48 +0000 (12:11 +0000)
commit62a187607d8075800df8b03e7bbe1741f9edfb48
tree5dd68f7c9a27f296457b45e06ba198dc52cff23f
parent03ad2578d4a826a9ef767f9d1ff4a32fe901e090
parent27a5cce832cb4c2d42e3ebd91562c00043b02721
Merge branch 'master' into 'master'

Three random fixes

See merge request fdroid/fdroidserver!496