chiark / gitweb /
Merge branch '1.0-polish' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 11 Dec 2017 21:44:16 +0000 (21:44 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 11 Dec 2017 21:44:16 +0000 (21:44 +0000)
commit858b398927bc1748b914c8e2650f4e51a4520588
treed37757e143b7b8dcd02f6821f6634e90281d9013
parent4835d7c20cc9bc7e6d6ebbe416c4a2a55323873e
parent5c9d46b5b273515c7abc627b097ff7bfa9745fba
Merge branch '1.0-polish' into 'master'

1.0 polish

Closes #424

See merge request fdroid/fdroidserver!405