chiark / gitweb /
Merge branch 'master' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Wed, 14 Mar 2018 18:09:19 +0000 (18:09 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Wed, 14 Mar 2018 18:09:19 +0000 (18:09 +0000)
commitd290eb96f986b4067570ab3855e6abbcc47020f8
tree2b1b910988113fc1d055857fbc865e1e1b992dff
parentcd8b583db1be4d943054c6c88370770380989753
parentb5c1634320d109ff9c9b69bd3952d3f11636b7fe
Merge branch 'master' into 'master'

update: handle renameManifestPackage when extracting icons with androguard

See merge request fdroid/fdroidserver!480