diff --git a/core.lib b/core.lib index a0cc5a2178..60718a9848 100644 --- a/core.lib +++ b/core.lib @@ -1 +1 @@ -https://github.com/mbedmicro/mbed/#3fa9ed79a5a7511a6d6c3fa54b35f370157ae7bd +https://github.com/mbedmicro/mbed/#9473d446ea5d100e67f4335ccea7166a94248c89