Merge pull request #35 from ARMmbed/release-candidate

Updating mbed-os to mbed-os-5.15.0-rc2
ARMmbed · Dec 12, 2019 · 8f879db · 8f879db
2 parents b2a9242 + 8850a15
commit 8f879db
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mbed-os.lib b/mbed-os.lib
@@ -1 +1 @@
-https://github.com/ARMmbed/mbed-os/#b14f495aa23fc62355abd9f892f55c34731ce606
+https://github.com/ARMmbed/mbed-os/#5d7f5bd82b5cc9114818ec2f708b6a1c4ec6206d