copy2

Revision:
51:13e52fb622ba
Parent:
50:beea1112dba7
Child:
53:6c17dd0c6700
--- a/mbed-os.lib	Tue Dec 05 15:30:09 2017 +0000
+++ b/mbed-os.lib	Wed Dec 20 15:45:08 2017 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#5f6572179d66ce4c09d6517b659ac51133cc980d
+https://github.com/ARMmbed/mbed-os/#8b54959f5bca08a8ad44a701bafd634afbb38b03
\ No newline at end of file