Deimos IO4 GPIO control example

Revision:
80:3996c42f7d49
Parent:
79:ba828995f32d
Child:
81:87d739bb9014
diff -r ba828995f32d -r 3996c42f7d49 mbed-os.lib
--- a/mbed-os.lib	Mon Oct 22 08:00:02 2018 +0100
+++ b/mbed-os.lib	Tue Nov 06 12:30:03 2018 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#e1bea44212b8275f7d8ce7253e758c2e25c57482
+https://github.com/ARMmbed/mbed-os/#bf6f2c3c6434a6de9eb9511feffa5948b3d1f20f