corecommands: Module version bump.

2018-06-10 13:19:13 -04:00 · 2018-06-10 13:19:13 -04:00 · e2bae7b65d
parent ece7bdc282
commit e2bae7b65d
2 changed files with 2 additions and 2 deletions
--- a/policy/modules/contrib
+++ b/policy/modules/contrib
@ -1 +1 @@
-Subproject commit 7ee8f539039605c7881343962f07d086e6d01206
+Subproject commit f39e8bd2ebd56797a0e93d6815e49e5d15e8d93a
--- a/policy/modules/kernel/corecommands.te
+++ b/policy/modules/kernel/corecommands.te
@ -1,4 +1,4 @@
-policy_module(corecommands, 1.25.0)
+policy_module(corecommands, 1.25.1)
 ########################################
 #
		`@ -1 +1 @@`
			`Subproject commit 7ee8f539039605c7881343962f07d086e6d01206`				`Subproject commit f39e8bd2ebd56797a0e93d6815e49e5d15e8d93a`