From a9d6316885e33577aa53d70658af69e24408c9e1 Mon Sep 17 00:00:00 2001 From: user Date: Fri, 15 Jan 2016 23:20:51 +0000 Subject: [PATCH] Bumped gnome-shell version up to 3.18 --- src/metadata.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/metadata.json b/src/metadata.json index ff9d971..175336c 100644 --- a/src/metadata.json +++ b/src/metadata.json @@ -2,7 +2,7 @@ "name": "Tor Control", "description": "Change Tor identity from the panel", "shell-version": [ - "3.14" + "3.14", "3.16", "3.18" ], "url": "https://github.com/fqxp/gnome-shell-extension-tor", "uuid": "tor@gnome-shell-extension.fqxp.de",