operational with OS5

Revision:
13:191efdabc48f
Parent:
12:f4cb0404a9a2
Child:
15:26d1c87c3fc0
diff -r f4cb0404a9a2 -r 191efdabc48f mbed-os.lib
--- a/mbed-os.lib	Fri Sep 16 19:00:07 2016 +0100
+++ b/mbed-os.lib	Wed Oct 05 05:15:02 2016 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#21dd7008a1540c02150f1b87c12294301db979bb
+https://github.com/ARMmbed/mbed-os/#a6f3fd1a60d5df59246d7caf3f108c4d34e1808e