diff --git a/arduino-ide-extension/package.json b/arduino-ide-extension/package.json index 1b7cc2de..7c44dc12 100644 --- a/arduino-ide-extension/package.json +++ b/arduino-ide-extension/package.json @@ -168,7 +168,7 @@ "version": "14.0.0" }, "languageServer": { - "version": "0.7.2" + "version": "0.7.4" } } }