From 40dc0b3e970b9a5279db567e6ebe8e135c748b3d Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Fri, 18 Nov 2016 16:11:32 +0200
Subject: [PATCH] Updated ARM mbed OS to 5.1.5/rev127

---
 platform.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform.json b/platform.json
index d5b527e..5f84f11 100644
--- a/platform.json
+++ b/platform.json
@@ -49,7 +49,7 @@
     "framework-mbed": {
       "type": "framework",
       "optional": true,
-      "version": "~3.126.0"
+      "version": "~3.127.0"
     },
     "framework-cmsis": {
       "type": "framework",