[ANN] segatex-7.840 released. (segatex is a third party SELinux GUI tool)