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)
commit8215bbbe9a3a5f953735835495d4a93fe18d61d5
tree8cf6787ff757b831ec7562f3211d2329de2d94e6
parent67d386d9252cb4f9fa8a82369ea88202773c6b71
parent70d9633555ba07b4bb83dfd7dcda9781cc80cf51
Merge branch 'checkupdates' into 'master'

tighten up checkupdates

See merge request fdroid/fdroidserver!474