Merge pull request #130 from ARMmbed/release-candidate

0xc0170 · web-flow · commit 3ce86122be3c · 2019-03-20T11:00:33.000+01:00
Updating mbed-os to mbed-os-5.12.0-rc3
diff --git a/mbed-os.lib b/mbed-os.lib
@@ -1 +1 @@
-https://github.com/ARMmbed/mbed-os/#c0939781ea1fa50657e055867193b62b1c9a6035
+https://github.com/ARMmbed/mbed-os/#85cbc290a2b4a5458cc1ae98c2a5bd6a4fd8758b

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