operational with OS 5

Revision:
38:b33ed55e5bbb
Parent:
37:8f3f0b8835f8
Child:
39:bcfaadc319d3
--- a/mbed-os.lib	Thu Jun 08 11:15:02 2017 +0100
+++ b/mbed-os.lib	Tue Jun 20 11:00:02 2017 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#fc1836545dcc2fc86f03b01292b62bf2089f67c3
+https://github.com/ARMmbed/mbed-os/#3179b1cffddea0f0feed1dd551b0e7dc946c12f5