From 5074d3713b436b56deb4a08392e3480195c7f35e Mon Sep 17 00:00:00 2001 From: Alban Browaeys Date: Mon, 10 Oct 2022 23:05:46 +0200 Subject: [PATCH] set the extension compatible with gnome shell 43 --- metadata.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/metadata.json b/metadata.json index 0ec1737..1082844 100644 --- a/metadata.json +++ b/metadata.json @@ -2,5 +2,5 @@ "description": "Integrate Github's notifications within the gnome desktop environment\nSource code is available here: https://github.com/alexduf/gnome-github-notifications", "uuid": "github.notifications@alexandre.dufournet.gmail.com", "name": "Github Notifications", - "shell-version": ["40", "41", "42"] + "shell-version": ["40", "41", "42", "43"] }