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

Revision:
86:f6d935d72b90
Parent:
85:b4c5dbbf74e3
Child:
90:37c3d70b5cb6
--- a/mbed-os.lib	Wed Dec 19 13:45:03 2018 +0000
+++ b/mbed-os.lib	Thu Jan 03 13:45:03 2019 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#6a0a86538c0b9b2bfcc4583b1e2b7fea8f4e71e9
+https://github.com/ARMmbed/mbed-os/#c966348d3f9ca80843be7cdc9b748f06ea73ced0