operational with OS 5

Revision:
50:84f446a84793
Parent:
49:7f15ac2a78f5
Child:
51:b05978d9cf8e
diff -r 7f15ac2a78f5 -r 84f446a84793 mbed-os.lib
--- a/mbed-os.lib	Tue Oct 24 16:30:02 2017 +0100
+++ b/mbed-os.lib	Wed Nov 08 14:30:02 2017 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#e62a1b9236b44e70ae3b0902dc538481c04d455b
+https://github.com/ARMmbed/mbed-os/#78474a5129e18e136cc7e872adbaa5b74fbb8f6a