operational with OS 5

Revision:
9:dd27ad588fe2
Parent:
7:313938df05aa
Child:
10:c4bec1c9b715
diff -r bb09890333fe -r dd27ad588fe2 mbed-os.lib
--- a/mbed-os.lib	Sat Aug 06 20:30:05 2016 +0100
+++ b/mbed-os.lib	Fri Aug 19 23:45:05 2016 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#0712b8adf6bbc7eb796d5dac26f95d79d40745ef
+https://github.com/ARMmbed/mbed-os/#0993ae540c5c4b5ce3004bead1aefc0c6d1b3ea0