chiark / gitweb /
Merge commit 'refs/merge-requests/138' of gitorious.org:f-droid/fdroidserver
authorDaniel Martí <mvdan@mvdan.cc>
Tue, 1 Apr 2014 23:03:36 +0000 (01:03 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Tue, 1 Apr 2014 23:03:36 +0000 (01:03 +0200)

Trivial merge