14 Jul
2016
14 Jul
'16
1:30 p.m.
Simplifies the build a bit. This is on top of the previous SELinux relabelling patch set, although not related to it. Rich.