diff options
author | 2020-08-18 09:09:10 -0400 | |
---|---|---|
committer | 2020-10-11 13:50:58 -0700 | |
commit | 31ee041f59073cb688cdbf20ef133e07dd8b1df7 (patch) | |
tree | 8a23cecb2427eaa226a66b85af81b10c48ce4c4e /policy/modules/services/rgmanager.te | |
parent | travis: resolve Linter tags (diff) | |
download | hardened-refpolicy-31ee041f59073cb688cdbf20ef133e07dd8b1df7.tar.gz hardened-refpolicy-31ee041f59073cb688cdbf20ef133e07dd8b1df7.tar.bz2 hardened-refpolicy-31ee041f59073cb688cdbf20ef133e07dd8b1df7.zip |
Bump module versions for release.
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 15646194..c58b0bd9 100644 --- a/policy/modules/services/rgmanager.te +++ b/policy/modules/services/rgmanager.te @@ -1,4 +1,4 @@ -policy_module(rgmanager, 1.8.2) +policy_module(rgmanager, 1.9.0) ######################################## # |