Merge tag 'v19.4.0' into develop

Bump version to 19.4.0

Author: valeros

platform.json

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