Merge branch 'master' of ssh://git.camperquake.de:22003/selinux
authorRalf Ertzinger <ralf@skytale.net>
Thu, 22 Oct 2020 12:52:38 +0000 (12:52 +0000)
committerRalf Ertzinger <ralf@skytale.net>
Thu, 22 Oct 2020 12:52:38 +0000 (12:52 +0000)

Trivial merge