operational with OS 5

Revision:
40:d4500ea4f3aa
Parent:
39:bcfaadc319d3
Child:
41:3f37e8ac5378
diff -r bcfaadc319d3 -r d4500ea4f3aa mbed-os.lib
--- a/mbed-os.lib	Thu Jun 22 09:00:02 2017 +0100
+++ b/mbed-os.lib	Thu Jul 06 18:30:02 2017 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#c9e63f14085f5751ff5ead79a7c0382d50a813a2
+https://github.com/ARMmbed/mbed-os/#8828635da469162cf2854b5287561c663fb96e72