chiark / gitweb /
Merge branch 'log-update-checkupdates-server-to-wiki' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 22 Jan 2018 13:29:45 +0000 (13:29 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 22 Jan 2018 13:29:45 +0000 (13:29 +0000)
Log update/checkupdates/server to wiki

See merge request fdroid/fdroidserver!439


Trivial merge