NuMaker GPIO Interrupt with Debounce Setting

Revision:
17:707b60147ca6
Parent:
16:1e530d5a7f80
Child:
19:6e52d72cc78b
--- a/mbed-os.lib	Fri Jul 26 13:24:34 2019 +0800
+++ b/mbed-os.lib	Thu Oct 24 09:46:38 2019 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#5941d1718339116cd12914238ec331c84da3d08f
+https://github.com/ARMmbed/mbed-os/#679d24833acf0a0b5b0d528576bb37c70863bc4e