Blinky on Mbed OS 5.8

Revision:
98:9a74a993d651
Parent:
97:d180a47a5804
diff -r d180a47a5804 -r 9a74a993d651 mbed-os.lib
--- a/mbed-os.lib	Tue Jul 23 12:00:36 2019 +0100
+++ b/mbed-os.lib	Thu Aug 01 15:22:13 2019 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#5941d1718339116cd12914238ec331c84da3d08f
+https://github.com/ARMmbed/mbed-os/#35fa909641fedcad9bbe0c7300d4ccdf15a2b71a