chiark / gitweb /
Merge branch '148-no-verify-logs-on-split-build-publish-infrastructure' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 24 Apr 2017 18:50:58 +0000 (18:50 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 24 Apr 2017 18:50:58 +0000 (18:50 +0000)
compare apk with Binaries from metadata right after building

Closes #148

See merge request !247


Trivial merge