operational with OS5

Revision:
17:70f39bf6d39a
Parent:
16:71f51c703eee
Child:
18:50b62d440e88
diff -r 71f51c703eee -r 70f39bf6d39a mbed-os.lib
--- a/mbed-os.lib	Fri Oct 28 13:15:03 2016 +0100
+++ b/mbed-os.lib	Mon Nov 14 20:30:04 2016 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#e2617cc0e17f5c3fc2bae6a589c9bcfd3d1a717b
+https://github.com/ARMmbed/mbed-os/#a1c0840b3d69060e5eb708edb18358e424a40f51