Merge pull request #68 from mikedep333/release_1.3.3

Release 1.3.3
pulp · Jun 30, 2023 · e06eff1 · e06eff1
2 parents 379f43c + 8dae831
commit e06eff1
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/pulpcore.te b/pulpcore.te
@@ -1,4 +1,4 @@
-policy_module(pulpcore, 1.3.2)
+policy_module(pulpcore, 1.3.3)
 
 require {
 	type httpd_config_t;

diff --git a/pulpcore_port.te b/pulpcore_port.te
@@ -1,4 +1,4 @@
-policy_module(pulpcore_port, 1.3.2)
+policy_module(pulpcore_port, 1.3.3)
 
 gen_require(`
     attribute port_type;

diff --git a/pulpcore_rhsmcertd.te b/pulpcore_rhsmcertd.te
@@ -1,4 +1,4 @@
-policy_module(pulpcore_rhsmcertd, 1.3.2)
+policy_module(pulpcore_rhsmcertd, 1.3.3)
 
 gen_require(`
 	type pulpcore_server_t, rhsmcertd_config_t;