Updating mbed-os to mbed-os-5.8.3

paul-szczepanek-arm · paul-szczepanek-arm · commit 9a686378b55f · 2018-05-08T12:53:12.000+01:00
diff --git a/BLE_GAP/mbed-os.lib b/BLE_GAP/mbed-os.lib
@@ -1 +1 @@
-https://github.com/ARMmbed/mbed-os/#182bbd51bc8d1b6217477c2b5de3f1d0c5e6249f
+https://github.com/ARMmbed/mbed-os/#c05d72c3c005fbb7e92c3994c32bda45218ae7fe

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