.

Revision:
7:a51ce777aa88
Parent:
6:91c45a784fdb
Child:
8:7addfe524641
--- a/mbed-os.lib	Thu Mar 30 00:00:23 2017 +0100
+++ b/mbed-os.lib	Mon Apr 10 16:45:18 2017 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#50b3418e45484ebf442b88cd935a2d5355402d7d
+https://github.com/ARMmbed/mbed-os/#42be5c01a7f91292d5e27124ad9584236025f6ab