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

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