Update mbed framework to 5.12.3

valeros · valeros · commit 7d0f9014f320 · 2019-05-09T21:18:12.000+03:00
diff --git a/platform.json b/platform.json
@@ -31,7 +31,7 @@
     "framework-mbed": {
       "type": "framework",
       "optional": true,
-      "version": "~5.51202.190504"
+      "version": "~5.51203.190509"
     },
     "tool-openocd": {
       "type": "debugger",
