redirect mbed-os.lib to public repo

facchinm · facchinm · commit 370dce28b648 · 2023-11-16T15:30:09.000+01:00
diff --git a/mbed-os.lib b/mbed-os.lib
@@ -1 +1 @@
-https://github.com/bcmi-labs/mbed-os/#a55c905a33d04ed410029d2626fab114a78ddfec
+https://github.com/arduino/mbed-os/#2e1da01300f14f12b39c24434fe7fe5488258353

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-https://github.com/bcmi-labs/mbed-os/#a55c905a33d04ed410029d2626fab114a78ddfec`
	`1`	`+https://github.com/arduino/mbed-os/#2e1da01300f14f12b39c24434fe7fe5488258353`