From 88d6931c4cd5d196ddcae831e109d8b05301079d Mon Sep 17 00:00:00 2001 From: Miroslav Sustek Date: Thu, 18 Nov 2021 18:34:20 +0100 Subject: [PATCH] Add support for GNOME Shell v41 --- metadata.json | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/metadata.json b/metadata.json index c9cd956..ffd3588 100644 --- a/metadata.json +++ b/metadata.json @@ -14,7 +14,8 @@ "3.24", "3.26", "3.28", - "40" + "40", + "41" ], "uuid": "historymanager-prefix-search@sustmidown.centrum.cz", "name": "HistoryManager Prefix Search", @@ -22,5 +23,5 @@ "url": "https://github.com/sustmi/gnome-shell-extension-historymanager-prefix-search", "settings-schema": "org.gnome.shell.extensions.historymanager-prefix-search", "gettext-domain": "historymanager-prefix-search", - "version": 14 + "version": 15 }