chiark / gitweb /
Merge branch 'master' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Fri, 7 Jul 2017 11:02:32 +0000 (11:02 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Fri, 7 Jul 2017 11:02:32 +0000 (11:02 +0000)
commit70858bb104c8c81f1b0887eb2e2f8185ac062852
tree4c9163dd52e8f344e4facf2b2b1cb240c5521c8a
parentb0a8d4163d704a9cb4f2462efdb6df52f4c84810
parenta427bb7b566e9624656450409c72a79a92d30f13
Merge branch 'master' into 'master'

Also search for apk in build/outputs/apk/release

See merge request !303