Merge branch 'master' of ssh://git.camperquake.de:22003/selinux
authorRalf Ertzinger <ralf@skytale.net>
Sat, 11 May 2019 16:02:39 +0000 (16:02 +0000)
committerRalf Ertzinger <ralf@skytale.net>
Sat, 11 May 2019 16:02:39 +0000 (16:02 +0000)

Trivial merge