Este es el que funciona, de momento. No está probado con muchos valores de entradas. Falta probar eso.

Revision:
102:6979ad8bc0bc
Parent:
101:130fd2e532f0
Child:
106:d323dd088ba2
--- a/mbed-os.lib	Wed Oct 23 18:00:04 2019 +0100
+++ b/mbed-os.lib	Mon Nov 04 16:00:04 2019 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#679d24833acf0a0b5b0d528576bb37c70863bc4e
+https://github.com/ARMmbed/mbed-os/#679d24833acf0a0b5b0d528576bb37c70863bc4e