Deimos IO4 GPIO control example

Revision:
85:b4c5dbbf74e3
Parent:
81:87d739bb9014
Child:
86:f6d935d72b90
diff -r 9b22d3bf66f7 -r b4c5dbbf74e3 mbed-os.lib
--- a/mbed-os.lib	Thu Dec 13 14:15:02 2018 +0000
+++ b/mbed-os.lib	Wed Dec 19 13:45:03 2018 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#2fd0c5cfbd83fce62da6308f9d64c0ab64e1f0d6
+https://github.com/ARMmbed/mbed-os/#6a0a86538c0b9b2bfcc4583b1e2b7fea8f4e71e9