Re: [Pki-devel] [PATCH] 78 changes to remove pki-selinux from the build.