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