Deimos IO4 GPIO control example

Revision:
73:00fa8b8f7ebf
Parent:
72:6d94d755fbb0
Child:
74:8eaa115f31a3
diff -r 6d94d755fbb0 -r 00fa8b8f7ebf mbed-os.lib
--- a/mbed-os.lib	Tue Jul 17 08:45:03 2018 +0100
+++ b/mbed-os.lib	Tue Jul 31 09:15:02 2018 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#50bd61a4a72332baa6b1bac6caccb44dc5423309
+https://github.com/ARMmbed/mbed-os/#485bdeee150e2bc8ed75e27d936060fb63a7a7d1