Merge branch 'release/v10.0.1'

Author: valeros

builder/main.py

@@ -173,7 +173,8 @@ def _jlink_cmd_script(env, source):
             "-device", board.get("debug", {}).get("jlink_device"),
             "-speed", "4000",
             "-if", ("jtag" if upload_protocol == "jlink-jtag" else "swd"),
-            "-autoconnect", "1"
+            "-autoconnect", "1",
+            "-NoGui", "1"
         ],
         UPLOADCMD='$UPLOADER $UPLOADERFLAGS -CommanderScript "${__jlink_cmd_script(__env__, SOURCE)}"'
     )

platform.json

@@ -18,7 +18,7 @@
     "type": "git",
     "url": "https://github.com/platformio/platform-ststm32.git"
   },
-  "version": "10.0.0",
+  "version": "10.0.1",
   "frameworks": {
     "mbed": {
       "package": "framework-mbed",