From 529c9b80c67cdb8c21a83965813b6a381dc0c378 Mon Sep 17 00:00:00 2001 From: Pacho Ramos Date: Sun, 24 Mar 2019 17:41:51 +0100 Subject: [PATCH] features/selinux/package.mask: add gnome-shell-extension Signed-off-by: Pacho Ramos --- profiles/features/selinux/package.mask | 1 + 1 file changed, 1 insertion(+) diff --git a/profiles/features/selinux/package.mask b/profiles/features/selinux/package.mask index 309f4500a530..da6bdcafc915 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-dash-to-panel gnome-extra/gnome-shell-extension-desktop-icons gnome-extra/gnome-shell-extension-gsconnect gnome-extra/gnome-tweaks -- 2.26.2