chiark / gitweb /
Merge branch 'metadata' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Thu, 6 Jul 2017 22:49:26 +0000 (22:49 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Thu, 6 Jul 2017 22:49:26 +0000 (22:49 +0000)
commitb0a8d4163d704a9cb4f2462efdb6df52f4c84810
treeaed41300f160cd342ab467e326f4bbbf4e92a3a1
parent7ec0656dbb275984b5238a7caafdaf90029988f8
parent8ea06ce83ec6efe341bc41a7203f5f69fa51140c
Merge branch 'metadata' into 'master'

--create-metadata: make sure apk[name] is not empty

See merge request !302