This PR: https://github.com/SELinuxProject/selinux/pull/193 Has been sitting forever. I looked through the mailing list and didn't see any patches hit the list, we should either close it, or merge it. Thoughts? If we need it to hit the list, can I grab it and sign-off on it and post it? Bill
