diff --git a/mozilla.te b/mozilla.te index 8a17b85..32f75b8 100644 --- a/mozilla.te +++ b/mozilla.te @@ -481,6 +481,7 @@ optional_policy(` gnome_manage_config(mozilla_plugin_t) gnome_read_usr_config(mozilla_plugin_t) gnome_filetrans_home_content(mozilla_plugin_t) + gnome_exec_gstreamer_home_files(mozilla_plugin_t) ') optional_policy(`