Merge base-installer (1.193) import into refs/heads/workingbranch
authorHolger Wansing <hwansing@mailbox.org>
Wed, 29 Jan 2020 18:01:28 +0000 (18:01 +0000)
committerHolger Wansing <hwansing@mailbox.org>
Wed, 29 Jan 2020 18:01:28 +0000 (18:01 +0000)

Trivial merge