chiark
/
gitweb
/
~ianmdlvl
/
fdroidserver.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
c35b120
c81d5da
)
Merge branch 'lint_fix' into 'master'
author
Marcus
<bubu@bubu1.eu>
Fri, 2 Mar 2018 22:59:26 +0000
(22:59 +0000)
committer
Marcus
<bubu@bubu1.eu>
Fri, 2 Mar 2018 22:59:26 +0000
(22:59 +0000)
lint: fix update check data https check
See merge request fdroid/fdroidserver!473
Trivial merge