Merge branch 'release/v19.7.1'

Author: valeros

platform.json

@@ -18,7 +18,7 @@
     "type": "git",
     "url": "https://github.com/platformio/platform-ststm32.git"
   },
-  "version": "19.7.0",
+  "version": "19.7.1",
   "frameworks": {
     "mbed": {
       "package": "framework-mbed",
@@ -322,7 +322,7 @@
       "type": "uploader",
       "optional": true,
       "owner": "platformio",
-      "version": "~3.1200.0"
+      "version": "~3.1200.7"
     },
     "tool-jlink": {
       "type": "uploader",

platform.py

@@ -198,11 +198,10 @@ def _add_default_debug_tools(self, board):
                     ])
                 else:
                     assert debug.get("openocd_target"), (
-                        "Missed target configuration for %s" % board.id)
+                        "Missing target configuration for %s" % board.id)
                     server_args.extend([
                         "-f", "interface/%s.cfg" % link,
-                        "-c", "transport select %s" % (
-                            "hla_swd" if link == "stlink" else "swd"),
+                        "-c", "transport select swd",
                         "-f", "target/%s.cfg" % debug.get("openocd_target")
                     ])
                     server_args.extend(debug.get("openocd_extra_args", []))