Polling

Revision:
1:ed1145480f4b
Parent:
0:d4d44e16e7af
diff -r d4d44e16e7af -r ed1145480f4b mbed-os.lib
--- a/mbed-os.lib	Thu Oct 29 16:45:27 2020 +0000
+++ b/mbed-os.lib	Sun Nov 01 16:29:35 2020 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#8ef0a435b2356f8159dea8e427b2935d177309f8
+https://github.com/ARMmbed/mbed-os/#cf4f12a123c05fcae83fc56d76442015cb8a39e9