Merge branch 'master' of ssh://git.cacert.org/var/cache/git/cacert-infradocs
authorWytze van der Raay <wytze@cacert.org>
Fri, 23 Nov 2018 07:59:24 +0000 (08:59 +0100)
committerWytze van der Raay <wytze@cacert.org>
Fri, 23 Nov 2018 07:59:24 +0000 (08:59 +0100)

Trivial merge