There is no puppet_admin() interface. As a result, users cannot execute the puppet init script (labeled puppet_initrc_exec_t). Same for puppetmaster Reproducible: Always
rev 5 is in hardened-dev overlay
In main tree, ~arch'ed (rev 5)
stabilized