chiark / gitweb /
Merge branch 'import-for-issuebot' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 12 Feb 2018 11:08:55 +0000 (11:08 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 12 Feb 2018 11:08:55 +0000 (11:08 +0000)
`fdroid import` fixes for issuebot

See merge request fdroid/fdroidserver!452


Trivial merge