1 |
commit: ee7d0d58ccbabc7af9e2a2f7ca7ba276d1884292 |
2 |
Author: Chris PeBenito <pebenito <AT> ieee <DOT> org> |
3 |
AuthorDate: Sun Sep 11 13:02:28 2016 +0000 |
4 |
Commit: Jason Zaman <perfinion <AT> gentoo <DOT> org> |
5 |
CommitDate: Mon Oct 3 06:06:32 2016 +0000 |
6 |
URL: https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=ee7d0d58 |
7 |
|
8 |
Module version bump for mozilla patch from Guido Trentalancia. |
9 |
|
10 |
policy/modules/contrib/mozilla.te | 2 +- |
11 |
policy/modules/contrib/pulseaudio.te | 2 +- |
12 |
2 files changed, 2 insertions(+), 2 deletions(-) |
13 |
|
14 |
diff --git a/policy/modules/contrib/mozilla.te b/policy/modules/contrib/mozilla.te |
15 |
index ca45f5c..42fb9bf 100644 |
16 |
--- a/policy/modules/contrib/mozilla.te |
17 |
+++ b/policy/modules/contrib/mozilla.te |
18 |
@@ -1,4 +1,4 @@ |
19 |
-policy_module(mozilla, 2.9.2) |
20 |
+policy_module(mozilla, 2.9.3) |
21 |
|
22 |
######################################## |
23 |
# |
24 |
|
25 |
diff --git a/policy/modules/contrib/pulseaudio.te b/policy/modules/contrib/pulseaudio.te |
26 |
index 4be64ec..214e9c6 100644 |
27 |
--- a/policy/modules/contrib/pulseaudio.te |
28 |
+++ b/policy/modules/contrib/pulseaudio.te |
29 |
@@ -1,4 +1,4 @@ |
30 |
-policy_module(pulseaudio, 1.8.5) |
31 |
+policy_module(pulseaudio, 1.8.6) |
32 |
|
33 |
######################################## |
34 |
# |