diff options
| author | j.r | 2022-04-17 11:54:49 +0200 |
|---|---|---|
| committer | j.r | 2022-04-17 11:54:49 +0200 |
| commit | 2292232199b90c8362afd5720926597ae4fc929f (patch) | |
| tree | c1142526c98feca357638062dbfdca5f4b8bf140 /0002-Declare-compatibility-with-GNOME-Shell-41.patch | |
| parent | d48d69405908dbbd128e100819df72a0e7fb05f5 (diff) | |
| download | aur-gnome-shell-extension-topicons-plus.tar.gz | |
gnome-shell-extension-topicons-plus: patch for shell 42
Diffstat (limited to '0002-Declare-compatibility-with-GNOME-Shell-41.patch')
| -rw-r--r-- | 0002-Declare-compatibility-with-GNOME-Shell-41.patch | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/0002-Declare-compatibility-with-GNOME-Shell-41.patch b/0002-Declare-compatibility-with-GNOME-Shell-41.patch new file mode 100644 index 000000000000..ab65238e1242 --- /dev/null +++ b/0002-Declare-compatibility-with-GNOME-Shell-41.patch @@ -0,0 +1,31 @@ +From 5e9e011be38645452e74b5b82741d426d2019657 Mon Sep 17 00:00:00 2001 +From: Simon McVittie <smcv@debian.org> +Date: Sun, 17 Oct 2021 11:57:39 +0100 +Subject: [PATCH 2/3] Declare compatibility with GNOME Shell 41 + +From some brief testing, it seems to be compatible without further +changes. + +Bug-Debian: https://bugs.debian.org/996073 +Signed-off-by: Simon McVittie <smcv@debian.org> +--- + metadata.json | 3 ++- + 1 file changed, 2 insertions(+), 1 deletion(-) + +diff --git a/metadata.json b/metadata.json +index 8a07918..9da5655 100644 +--- a/metadata.json ++++ b/metadata.json +@@ -3,7 +3,8 @@ + "name": "TopIcons Plus", + "gettext-domain": "TopIcons-Plus", + "shell-version": [ +- "40" ++ "40", ++ "41" + ], + "settings-schema": "org.gnome.shell.extensions.topicons", + "url": "https://github.com/phocean/TopIcons-plus", +-- +2.35.3 + |