chiark / gitweb /
Merge branch 'master' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 6 Mar 2017 09:13:15 +0000 (09:13 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 6 Mar 2017 09:13:15 +0000 (09:13 +0000)
upload release apk to virustotal

Closes #17

See merge request !218


Trivial merge