operational with OS 5

Revision:
11:0fa38cb22ea9
Parent:
10:c4bec1c9b715
Child:
12:f4cb0404a9a2
diff -r c4bec1c9b715 -r 0fa38cb22ea9 mbed-os.lib
--- a/mbed-os.lib	Sat Aug 20 00:00:05 2016 +0100
+++ b/mbed-os.lib	Fri Sep 02 15:15:05 2016 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#d2202045ac8f2fc63836a5b7131c9b56ac58f06a
+https://github.com/ARMmbed/mbed-os/#bdab10dc0f90748b6989c8b577771bb403ca6bd8