chiark / gitweb /
Merge branch 'more-1.0-polishing' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Fri, 27 Oct 2017 07:11:50 +0000 (07:11 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Fri, 27 Oct 2017 07:11:50 +0000 (07:11 +0000)
commite666cd9b35924420389a55cc45bf352c6d86388a
tree59ac4786764224aea0a16591ef3f474139dbf8bf
parentab02a6fcc31e7ea01a4bae3d71c0566af20df8d6
parent505d2c132558edf484509b8169cc6375cb35476b
Merge branch 'more-1.0-polishing' into 'master'

More 1.0 polishing

Closes #402

See merge request fdroid/fdroidserver!362