Merge pull request #67 from platformio/develop

Sync fork

Author: maxgerhardt

platform.json

@@ -18,7 +18,7 @@
     "type": "git",
     "url": "https://github.com/platformio/platform-raspberrypi.git"
   },
-  "version": "1.12.0",
+  "version": "1.13.0",
   "frameworks": {
     "arduino": {
       "package": "framework-arduino-mbed",
@@ -41,7 +41,7 @@
       "type": "framework",
       "optional": true,
       "owner": "platformio",
-      "version": "~4.1.1"
+      "version": "~4.1.3"
     },
     "framework-arduinopico": {
       "type": "framework",