diff options
| author |   Chris PeBenito <pebenito@ieee.org> | 2021-01-13 15:20:47 -0500 |
|---|---|---|
| committer |   Jason Zaman <perfinion@gentoo.org> | 2021-01-31 17:21:41 -0800 |
| commit | c8efcc07049d155398cc46a264a431a90b7edee2 (patch) | |
| tree | 954672fd3fccac993e7396bdb4e6b2528fb4c64f /policy/modules/services/rgmanager.te | |
| parent | devicekit: Udisks uses udevadm, it does not exec udev. (diff) | |
| download | hardened-refpolicy-c8efcc07049d155398cc46a264a431a90b7edee2.tar.gz hardened-refpolicy-c8efcc07049d155398cc46a264a431a90b7edee2.tar.bz2 hardened-refpolicy-c8efcc07049d155398cc46a264a431a90b7edee2.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 022cdb7b..8aad6a36 100644 --- a/policy/modules/services/rgmanager.te +++ b/policy/modules/services/rgmanager.te @@ -1,4 +1,4 @@ -policy_module(rgmanager, 1.9.0) +policy_module(rgmanager, 1.9.1) ######################################## # |