From 7a458c0b3f63c49f29d57ebe30ac192101fda601 Mon Sep 17 00:00:00 2001 From: Pacho Ramos Date: Sat, 20 Apr 2019 19:55:37 +0200 Subject: features/selinux/package.mask: mask for gnome-shell-extension Signed-off-by: Pacho Ramos --- profiles/features/selinux/package.mask | 1 + 1 file changed, 1 insertion(+) (limited to 'profiles') diff --git a/profiles/features/selinux/package.mask b/profiles/features/selinux/package.mask index 3c3e2d5da570..84625d6e2367 100644 --- a/profiles/features/selinux/package.mask +++ b/profiles/features/selinux/package.mask @@ -28,6 +28,7 @@ gnome-extra/gnome-logs gnome-extra/gnome-shell-extensions gnome-extra/gnome-shell-frippery gnome-extra/gnome-shell-extensions-topicons-plus +gnome-extra/gnome-shell-extension-applications-overview-tooltip gnome-extra/gnome-shell-extension-dash-to-panel gnome-extra/gnome-shell-extension-desktop-icons gnome-extra/gnome-shell-extension-gsconnect -- cgit v1.2.3-65-gdbad