operational with OS5

Revision:
37:8f3f0b8835f8
Parent:
36:a71a29786c47
Child:
38:b33ed55e5bbb
diff -r a71a29786c47 -r 8f3f0b8835f8 mbed-os.lib
--- a/mbed-os.lib	Thu May 25 12:00:03 2017 +0100
+++ b/mbed-os.lib	Thu Jun 08 11:15:02 2017 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#5fff7e1daeb395aa3d1ecf3f9ec3f4fead3de0c2
+https://github.com/ARMmbed/mbed-os/#fc1836545dcc2fc86f03b01292b62bf2089f67c3