chiark / gitweb /
Merge branch 'use-androguard-first' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 19 Feb 2018 18:53:42 +0000 (18:53 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 19 Feb 2018 18:53:42 +0000 (18:53 +0000)
use androguard first

Closes #236

See merge request fdroid/fdroidserver!465


Trivial merge