Update mbed framework to 5.12.2

ivankravets · ivankravets · commit 39e860b33d4a · 2019-05-06T12:18:53.000+03:00
diff --git a/platform.json b/platform.json
@@ -31,7 +31,7 @@
     "framework-mbed": {
       "type": "framework",
       "optional": true,
-      "version": "~5.51201.190414"
+      "version": "~5.51202.190504"
     },
     "tool-openocd": {
       "type": "debugger",
