operational with OS5

Revision:
18:50b62d440e88
Parent:
17:70f39bf6d39a
Child:
19:c3f08ad7c776
--- a/mbed-os.lib	Mon Nov 14 20:30:04 2016 +0000
+++ b/mbed-os.lib	Fri Dec 09 13:00:04 2016 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#a1c0840b3d69060e5eb708edb18358e424a40f51
+https://github.com/ARMmbed/mbed-os/#d5de476f74dd4de27012eb74ede078f6330dfc3f