Release 0.12.4: false-positive-free diagnostics on real code

apps/electron/package.json

@@ -1,7 +1,7 @@
 {
   "private": true,
   "name": "modula2-ide-electron",
-  "version": "0.12.3",
+  "version": "0.12.4",
   "description": "GNU Modula-2 IDE built on Eclipse Theia",
   "author": "Eric Streit <eric@yojik.eu>",
   "main": "electron-launcher.js",

package.json

@@ -1,7 +1,7 @@
 {
   "private": true,
   "name": "modula2-ide",
-  "version": "0.12.3",
+  "version": "0.12.4",
   "description": "GNU Modula-2 IDE built on Eclipse Theia",
   "engines": {
     "node": ">=24",