From 36570b74db16f28f1006f4b22e636f6e03a02ef4 Mon Sep 17 00:00:00 2001 From: Abdelghani Alidra Date: Mon, 30 Sep 2024 11:15:21 +0200 Subject: [PATCH] vscode: release minor revision to bring Goals panel to front whithout taking focus --- editors/vscode/package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/editors/vscode/package.json b/editors/vscode/package.json index e173c9d3f..38af7e75d 100644 --- a/editors/vscode/package.json +++ b/editors/vscode/package.json @@ -8,7 +8,7 @@ "François Lefoulon ", "Ashish Barnawal " ], - "version": "0.2.2", + "version": "0.2.2.1", "publisher": "Deducteam", "engines": { "vscode": "^1.82.0"