Merge branch 'bug-1442' of https://GitHub.com/GuKKDevel/cacert-devel into bug-1442
authorKarl-Heinz Gödderz (GuKKDevel) <Devel@GuKK-Online.de>
Wed, 31 Oct 2018 06:01:05 +0000 (07:01 +0100)
committerKarl-Heinz Gödderz (GuKKDevel) <Devel@GuKK-Online.de>
Wed, 31 Oct 2018 06:01:05 +0000 (07:01 +0100)

Trivial merge