chiark
/
gitweb
/
~ianmdlvl
/
fdroidserver.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
7feeaad
5780c14
)
Merge branch 'master' into 'master'
author
Daniel Martí
<mvdan@mvdan.cc>
Fri, 12 Feb 2016 09:13:53 +0000
(09:13 +0000)
committer
Daniel Martí
<mvdan@mvdan.cc>
Fri, 12 Feb 2016 09:13:53 +0000
(09:13 +0000)
a couple fixes
these are three fixes, one related to my previous merge request, as discussed with @mvdan in IRC
See merge request !99
Trivial merge