From 6cc70d4adcf115c36d9e54629699231af1fedf97 Mon Sep 17 00:00:00 2001
From: Akos Kiss <akiss@inf.u-szeged.hu>
Date: Tue, 5 Mar 2019 09:52:52 +0100
Subject: [PATCH] Bump Mbed OS target to 5.11.5 (#2788)

JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
---
 targets/mbedos5/mbed-os.lib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/targets/mbedos5/mbed-os.lib b/targets/mbedos5/mbed-os.lib
index 38ad35227..efedfa803 100644
--- a/targets/mbedos5/mbed-os.lib
+++ b/targets/mbedos5/mbed-os.lib
@@ -1 +1 @@
-https://github.com/ARMmbed/mbed-os/#c966348d3f9ca80843be7cdc9b748f06ea73ced0
+https://github.com/ARMmbed/mbed-os/#51d55508e8400b60af467005646c4e2164738d48