copy2

Revision:
31:409bf0fe91b5
Parent:
30:dacb92ff8643
Child:
32:d45aa4887a45
--- a/mbed-os.lib	Wed May 10 13:00:09 2017 +0100
+++ b/mbed-os.lib	Thu May 25 20:30:08 2017 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#8d21974ba35e04c4854e5090c0f8283171664175
+https://github.com/ARMmbed/mbed-os/#5fff7e1daeb395aa3d1ecf3f9ec3f4fead3de0c2