chiark / gitweb /
Merge commit 'refs/merge-requests/124' of gitorious.org:f-droid/fdroidserver
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 7 Oct 2013 18:56:43 +0000 (20:56 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 7 Oct 2013 18:56:43 +0000 (20:56 +0200)

Trivial merge