operational with OS5

Revision:
4:91b341d955d5
Parent:
1:846c97078558
Child:
5:705c130de54c
diff -r 297fe5b2279f -r 91b341d955d5 mbed-os.lib
--- a/mbed-os.lib	Fri Jul 29 22:45:07 2016 +0100
+++ b/mbed-os.lib	Sat Jul 30 00:00:06 2016 +0100
@@ -1,1 +1,1 @@
-https://github.com/mbedmicro/mbed/#36468c9acbfeabb717d2cc7d2a7ea7d17df1ac09
+https://github.com/mbedmicro/mbed/#4b506280eb4d34b3ed0e5aa82600d478e8f4ea1c