NuMaker GPIO Interrupt with Debounce Setting

Revision:
13:6a39af73b88a
Parent:
11:a4fa6f5131b1
Child:
16:1e530d5a7f80
diff -r 305c77d59216 -r 6a39af73b88a mbed-os.lib
--- a/mbed-os.lib	Mon Oct 15 15:05:08 2018 +0800
+++ b/mbed-os.lib	Mon Oct 15 15:07:19 2018 +0800
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#f9ee4e849f8cbd64f1ec5fdd4ad256585a208360
+https://github.com/ARMmbed/mbed-os/#c53d51fe9220728bf8ed27afe7afc1ecc3f6f5d7