chiark / gitweb /
Merge branch 'checkupdates' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Tue, 6 Mar 2018 19:20:38 +0000 (19:20 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Tue, 6 Mar 2018 19:20:38 +0000 (19:20 +0000)
tighten up checkupdates

See merge request fdroid/fdroidserver!474


Trivial merge