NuMaker GPIO Interrupt with Debounce Setting

Revision:
4:a4b47a6be229
Parent:
2:15b06747ce59
Child:
6:b3369ce1a600
--- a/mbed-os.lib	Mon Nov 14 10:45:36 2016 +0800
+++ b/mbed-os.lib	Wed Dec 14 13:59:42 2016 +0800
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#a1c0840b3d69060e5eb708edb18358e424a40f51
+https://github.com/ARMmbed/mbed-os/#d5de476f74dd4de27012eb74ede078f6330dfc3f