commit: ee7d0d58ccbabc7af9e2a2f7ca7ba276d1884292 Author: Chris PeBenito <pebenito <AT> ieee <DOT> org> AuthorDate: Sun Sep 11 13:02:28 2016 +0000 Commit: Sven Vermeulen <swift <AT> gentoo <DOT> org> CommitDate: Mon Oct 3 06:06:32 2016 +0000 URL: https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=ee7d0d58
Module version bump for mozilla patch from Guido Trentalancia. policy/modules/contrib/mozilla.te | 2 +- policy/modules/contrib/pulseaudio.te | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/policy/modules/contrib/mozilla.te b/policy/modules/contrib/mozilla.te index ca45f5c..42fb9bf 100644 --- a/policy/modules/contrib/mozilla.te +++ b/policy/modules/contrib/mozilla.te @@ -1,4 +1,4 @@ -policy_module(mozilla, 2.9.2) +policy_module(mozilla, 2.9.3) ######################################## # diff --git a/policy/modules/contrib/pulseaudio.te b/policy/modules/contrib/pulseaudio.te index 4be64ec..214e9c6 100644 --- a/policy/modules/contrib/pulseaudio.te +++ b/policy/modules/contrib/pulseaudio.te @@ -1,4 +1,4 @@ -policy_module(pulseaudio, 1.8.5) +policy_module(pulseaudio, 1.8.6) ######################################## #
