NuMaker GPIO Interrupt with Debounce Setting

Revision:
2:15b06747ce59
Parent:
0:29e056412215
Child:
4:a4b47a6be229
--- a/mbed-os.lib	Mon Oct 17 03:12:31 2016 +0000
+++ b/mbed-os.lib	Fri Nov 11 15:59:58 2016 +0800
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#a6f3fd1a60d5df59246d7caf3f108c4d34e1808e
+https://github.com/ARMmbed/mbed-os/#a1c0840b3d69060e5eb708edb18358e424a40f51