chiark / gitweb /
selinux: simplify and unify logging