Working Maveric

Revision:
2:3208decc93a0
Parent:
0:bdca5e4773dd
Child:
5:ebe6a0242150
--- a/mbed-os.lib	Mon Apr 10 12:27:29 2017 +0000
+++ b/mbed-os.lib	Tue Apr 18 15:16:30 2017 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#50b3418e45484ebf442b88cd935a2d5355402d7d
+https://github.com/ARMmbed/mbed-os/#42be5c01a7f91292d5e27124ad9584236025f6ab