Merge tag 'v19.7.1' into develop

Bump version to 19.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",