Merge pull request #34 from ARMmbed/release-candidate

Updating mbed-os to mbed-os-5.15.0-rc1
ARMmbed · Dec 3, 2019 · b2a9242 · b2a9242
2 parents da24373 + 232183e
commit b2a9242
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/#cf4f12a123c05fcae83fc56d76442015cb8a39e9
+https://github.com/ARMmbed/mbed-os/#b14f495aa23fc62355abd9f892f55c34731ce606