operational with OS 5

Revision:
5:705c130de54c
Parent:
4:91b341d955d5
Child:
6:8a6a7901ca31
diff -r 91b341d955d5 -r 705c130de54c mbed-os.lib
--- a/mbed-os.lib	Sat Jul 30 00:00:06 2016 +0100
+++ b/mbed-os.lib	Wed Aug 03 07:30:06 2016 +0100
@@ -1,1 +1,1 @@
-https://github.com/mbedmicro/mbed/#4b506280eb4d34b3ed0e5aa82600d478e8f4ea1c
+https://github.com/mbedmicro/mbed/#dd36dc4228b52ae538ecaa2f1a1dbba9260b9bd9