chiark / gitweb /
Merge commit 'refs/merge-requests/125' of gitorious.org:f-droid/fdroidserver
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 10 Oct 2013 11:23:09 +0000 (13:23 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 10 Oct 2013 11:23:09 +0000 (13:23 +0200)

Trivial merge