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

Revision:
90:37c3d70b5cb6
Parent:
86:f6d935d72b90
Child:
91:3a205782066a
diff -r 448e37ce650a -r 37c3d70b5cb6 mbed-os.lib
--- a/mbed-os.lib	Wed Jan 16 09:00:03 2019 +0000
+++ b/mbed-os.lib	Thu Jan 17 09:00:02 2019 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#c966348d3f9ca80843be7cdc9b748f06ea73ced0
+https://github.com/ARMmbed/mbed-os/#a8f0c33eaa2c52babff9655417c36f4b5edd54d7