.

Revision:
13:8ff2772e836d
Parent:
12:20791231781a
Child:
14:49106ed7c2cf
--- a/mbed-os.lib	Tue Dec 05 15:00:16 2017 +0000
+++ b/mbed-os.lib	Wed Dec 20 18:00:16 2017 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#e62a1b9236b44e70ae3b0902dc538481c04d455b
+https://github.com/ARMmbed/mbed-os/#8b54959f5bca08a8ad44a701bafd634afbb38b03
\ No newline at end of file