diff options
author | 2020-06-10 15:02:27 -0400 | |
---|---|---|
committer | 2020-08-09 19:58:45 -0700 | |
commit | 60dfb25042a7797c5babb5c1a279fdc95d928b1e (patch) | |
tree | 74c3ba956a5cda9ce2b33ecfd126f4528d5e8804 /policy/modules/services/rgmanager.te | |
parent | Correct some misspellings (diff) | |
download | hardened-refpolicy-60dfb25042a7797c5babb5c1a279fdc95d928b1e.tar.gz hardened-refpolicy-60dfb25042a7797c5babb5c1a279fdc95d928b1e.tar.bz2 hardened-refpolicy-60dfb25042a7797c5babb5c1a279fdc95d928b1e.zip |
various: Module version bump.
Signed-off-by: Chris PeBenito <pebenito@ieee.org>
Signed-off-by: Jason Zaman <perfinion@gentoo.org>
Diffstat (limited to 'policy/modules/services/rgmanager.te')
-rw-r--r-- | policy/modules/services/rgmanager.te | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/policy/modules/services/rgmanager.te b/policy/modules/services/rgmanager.te index eb4dd5a6..35e69709 100644 --- a/policy/modules/services/rgmanager.te +++ b/policy/modules/services/rgmanager.te @@ -1,4 +1,4 @@ -policy_module(rgmanager, 1.8.0) +policy_module(rgmanager, 1.8.1) ######################################## # |