Updating mbed-os to mbed-os-5.1.5

sg- · sg- · commit b0c10bb2ac1c · 2016-10-04T23:14:11.000-05: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/#a6f3fd1a60d5df59246d7caf3f108c4d34e1808e

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/#a6f3fd1a60d5df59246d7caf3f108c4d34e1808e`