chiark / gitweb /
Merge branch 'lint_fix' into 'master'
authorMarcus <bubu@bubu1.eu>
Fri, 2 Mar 2018 22:59:26 +0000 (22:59 +0000)
committerMarcus <bubu@bubu1.eu>
Fri, 2 Mar 2018 22:59:26 +0000 (22:59 +0000)
commit654b3cb9dc9b68c50c70c517430a282e3e0714b3
treefe080ddf93827a2502c7f3599f1f026d33a6c5de
parentc35b120ff2be1461fab0c76cd55f03c74323eb05
parentc81d5da95373093e05ada9c20c40eae907a17f87
Merge branch 'lint_fix' into 'master'

lint: fix update check data https check

See merge request fdroid/fdroidserver!473