chiark / gitweb /
Merge branch 'typo' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Fri, 22 Dec 2017 08:50:49 +0000 (08:50 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Fri, 22 Dec 2017 08:50:49 +0000 (08:50 +0000)
commit69dc3cc9ce8d652667271ddcec383b85f2a6f30a
tree1d30a108c9b1677eea1f8baf74997b040eb80654
parentc29d135de1dfda7a30487f58e69483358d1ecff1
parentebfb35f1f77ccc9af578cc9cdf247f6a362d6a22
Merge branch 'typo' into 'master'

Fix a typo in vmtools.py

See merge request fdroid/fdroidserver!421