Merge branch 'installer-patch-1'
authorPhil Howard <phil@gadgetoid.com>
Wed, 10 Jul 2019 09:18:08 +0000 (10:18 +0100)
committerPhil Howard <phil@gadgetoid.com>
Wed, 10 Jul 2019 09:18:08 +0000 (10:18 +0100)
commit53dd7720b17fac91b145a31514207152317f20f4
treecf003312c86a791b74854362f081cb44e6f52ef3
parentd2be91e6bc7be82a83e8458b1441b94ff13a395b
parentd7fc0b62ccbcbf42f2510e76726e8b4c5a5add5d
Merge branch 'installer-patch-1'