Updating mbed-os to mbed-os-6.13.0-rc1

mbedmain · mbedmain · commit eb16a85eb0f3 · 2021-07-14T11:17:33.000+01:00
diff --git a/mbed-os.lib b/mbed-os.lib
@@ -1 +1 @@
-https://github.com/ARMmbed/mbed-os/#cecc47b4a53951527dd3f670465c8566396ad101
+https://github.com/ARMmbed/mbed-os/#d147abc3e556c58e5e343d34b729bc2192e18bd3

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-https://github.com/ARMmbed/mbed-os/#cecc47b4a53951527dd3f670465c8566396ad101`
	`1`	`+https://github.com/ARMmbed/mbed-os/#d147abc3e556c58e5e343d34b729bc2192e18bd3`