copy2

Revision:
75:a91805e80107
Parent:
73:e76cb6fa4310
Child:
76:e489712bcbcf
--- a/mbed-os.lib	Fri Nov 16 16:45:08 2018 +0000
+++ b/mbed-os.lib	Fri Dec 14 13:15:11 2018 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#bf6f2c3c6434a6de9eb9511feffa5948b3d1f20f
+https://github.com/ARMmbed/mbed-os/#2fd0c5cfbd83fce62da6308f9d64c0ab64e1f0d6