Merge branch 'master' of ssh://git.camperquake.de:22003/selinux
authorRalf Ertzinger <ralf@skytale.net>
Sat, 16 Mar 2019 20:10:45 +0000 (20:10 +0000)
committerRalf Ertzinger <ralf@skytale.net>
Sat, 16 Mar 2019 20:10:45 +0000 (20:10 +0000)

Trivial merge