Update version of ARMmbed/mbed-os

AlessandroA · AlessandroA · commit bf0021b3cac0 · 2016-09-27T10:01:06.000+01:00
diff --git a/mbed-os.lib b/mbed-os.lib
@@ -1 +1 @@
-https://github.com/ARMmbed/mbed-os/#21dd7008a1540c02150f1b87c12294301db979bb
+https://github.com/ARMmbed/mbed-os/#4820c87c6804113bbf6eef66e33b412bc80d6010

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-https://github.com/ARMmbed/mbed-os/#21dd7008a1540c02150f1b87c12294301db979bb`
	`1`	`+https://github.com/ARMmbed/mbed-os/#4820c87c6804113bbf6eef66e33b412bc80d6010`