update mbedos .lib

paul-szczepanek-arm · Donatien Garnier · commit 4240d47a0e77 · 2019-01-08T12:33:54.000Z
diff --git a/BLE_PeriodicAdvertising/mbed-os.lib b/BLE_PeriodicAdvertising/mbed-os.lib
@@ -1 +1 @@
-https://github.com/ARMmbed/mbed-os/#103c9cb509c706ac972f0e8767141a5bf0270651
+https://github.com/ARMmbed/mbed-os/#6a0a86538c0b9b2bfcc4583b1e2b7fea8f4e71e

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-https://github.com/ARMmbed/mbed-os/#103c9cb509c706ac972f0e8767141a5bf0270651`
	`1`	`+https://github.com/ARMmbed/mbed-os/#6a0a86538c0b9b2bfcc4583b1e2b7fea8f4e71e`