operational with OS 5

Revision:
19:c3f08ad7c776
Parent:
18:50b62d440e88
Child:
20:3d13ed027d89
diff -r 50b62d440e88 -r c3f08ad7c776 mbed-os.lib
--- a/mbed-os.lib	Fri Dec 09 13:00:04 2016 +0000
+++ b/mbed-os.lib	Fri Dec 16 11:00:06 2016 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#d5de476f74dd4de27012eb74ede078f6330dfc3f
+https://github.com/ARMmbed/mbed-os/#c3b9436e12610acaab723f730ab15b48a539a5ac