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)
Also search for apk in build/outputs/apk/release

See merge request !303


Trivial merge