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 /0003-Declare-GNOME-Shell-42-compatibility.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 '0003-Declare-GNOME-Shell-42-compatibility.patch')
| -rw-r--r-- | 0003-Declare-GNOME-Shell-42-compatibility.patch | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/0003-Declare-GNOME-Shell-42-compatibility.patch b/0003-Declare-GNOME-Shell-42-compatibility.patch new file mode 100644 index 000000000000..f6c7249d821c --- /dev/null +++ b/0003-Declare-GNOME-Shell-42-compatibility.patch @@ -0,0 +1,26 @@ +From f86add72c1c7d8036a1229f3bdf116639da81bae Mon Sep 17 00:00:00 2001 +From: "j.r" <j.r@jugendhacker.de> +Date: Sun, 17 Apr 2022 11:47:20 +0200 +Subject: [PATCH 3/3] Declare GNOME Shell 42 compatibility + +--- + metadata.json | 3 ++- + 1 file changed, 2 insertions(+), 1 deletion(-) + +diff --git a/metadata.json b/metadata.json +index 9da5655..1fbd6d4 100644 +--- a/metadata.json ++++ b/metadata.json +@@ -4,7 +4,8 @@ + "gettext-domain": "TopIcons-Plus", + "shell-version": [ + "40", +- "41" ++ "41", ++ "42" + ], + "settings-schema": "org.gnome.shell.extensions.topicons", + "url": "https://github.com/phocean/TopIcons-plus", +-- +2.35.3 + |