Merge tag 'v1.12.0' into develop

Bump version to 1.12.0

Author: valeros

platform.json

@@ -18,7 +18,7 @@
     "type": "git",
     "url": "https://github.com/platformio/platform-raspberrypi.git"
   },
-  "version": "1.11.0",
+  "version": "1.12.0",
   "frameworks": {
     "arduino": {
       "package": "framework-arduino-mbed",