From: pebenito@ieee.org (Chris PeBenito)
Date: Sun, 11 Dec 2016 15:51:57 -0500
Subject: [refpolicy] [PATCH 2/2] mozilla: remove redundant pulseaudio
 interface calls
In-Reply-To: <1481317854.8850.4.camel@trentalancia.net>
References: <1481317805.8850.3.camel@trentalancia.net>
	<1481317854.8850.4.camel@trentalancia.net>
Message-ID: <448c4850-05f2-f24b-e971-d950bae0023b@ieee.org>
To: refpolicy@oss.tresys.com
List-Id: refpolicy.oss.tresys.com

On 12/09/16 16:10, Guido Trentalancia via refpolicy wrote:
> Remove two pulseaudio interface calls from the mozilla module
> that have been made redundant by part 1/2 of this patchset.
>
> Signed-off-by: Guido Trentalancia <guido@trentalancia.net>
> ---
>  policy/modules/contrib/mozilla.te |    4 ----
>  1 file changed, 4 deletions(-)
>
> --- refpolicy-git-07122016-orig/policy/modules/contrib/mozilla.te	2016-12-07 13:39:50.051911134 +0100
> +++ refpolicy-git-07122016/policy/modules/contrib/mozilla.te	2016-12-09 21:58:38.937369122 +0100
> @@ -302,8 +302,6 @@ optional_policy(`
>
>  optional_policy(`
>  	pulseaudio_run(mozilla_t, mozilla_roles)
> -	pulseaudio_rw_tmpfs_files(mozilla_t)
> -	pulseaudio_use_fds(mozilla_t)
>  ')
>
>  optional_policy(`
> @@ -573,8 +571,6 @@ optional_policy(`
>
>  optional_policy(`
>  	pulseaudio_run(mozilla_plugin_t, mozilla_plugin_roles)
> -	pulseaudio_rw_tmpfs_files(mozilla_plugin_t)
> -	pulseaudio_use_fds(mozilla_plugin_t)
>  ')
>
>  optional_policy(`

Merged.


-- 
Chris PeBenito