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

Revision:
81:87d739bb9014
Parent:
80:3996c42f7d49
Child:
85:b4c5dbbf74e3
diff -r 3996c42f7d49 -r 87d739bb9014 mbed-os.lib
--- a/mbed-os.lib	Tue Nov 06 12:30:03 2018 +0000
+++ b/mbed-os.lib	Mon Nov 19 08:45:02 2018 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#bf6f2c3c6434a6de9eb9511feffa5948b3d1f20f
+https://github.com/ARMmbed/mbed-os/#2fd0c5cfbd83fce62da6308f9d64c0ab64e1f0d6