chiark / gitweb /
Merge commit 'refs/merge-requests/93' of gitorious.org:f-droid/fdroidserver