Bump Mbed OS target to 5.11.5 (#2788)

akosthekiss · robertsipka · commit 6cc70d4adcf1 · 2019-03-05T09:52:52.000+01:00
JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-https://github.com/ARMmbed/mbed-os/#c966348d3f9ca80843be7cdc9b748f06ea73ced0`
	`1`	`+https://github.com/ARMmbed/mbed-os/#51d55508e8400b60af467005646c4e2164738d48`