operational with OS 5

Revision:
6:8a6a7901ca31
Parent:
5:705c130de54c
Child:
7:313938df05aa
--- a/mbed-os.lib	Wed Aug 03 07:30:06 2016 +0100
+++ b/mbed-os.lib	Fri Aug 05 05:45:06 2016 +0100
@@ -1,1 +1,1 @@
-https://github.com/mbedmicro/mbed/#dd36dc4228b52ae538ecaa2f1a1dbba9260b9bd9
+https://github.com/mbedmicro/mbed/#0712b8adf6bbc7eb796d5dac26f95d79d40745ef