NuMaker GPIO Interrupt with Debounce Setting

Revision:
16:1e530d5a7f80
Parent:
13:6a39af73b88a
Child:
17:707b60147ca6
--- a/mbed-os.lib	Mon Oct 15 15:38:34 2018 +0800
+++ b/mbed-os.lib	Fri Jul 26 13:24:34 2019 +0800
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#c53d51fe9220728bf8ed27afe7afc1ecc3f6f5d7
+https://github.com/ARMmbed/mbed-os/#5941d1718339116cd12914238ec331c84da3d08f