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

Committer:
mbed_official
Date:
Tue Oct 01 11:00:04 2019 +0100
Revision:
99:394543729870
Parent:
97:d180a47a5804
Child:
101:130fd2e532f0
Updating mbed-os to mbed-os-5.14

.
Commit copied from https://github.com/ARMmbed/mbed-os-example-blinky

Who changed what in which revision?

UserRevisionLine numberNew contents of line
mbed_official 99:394543729870 1 https://github.com/ARMmbed/mbed-os/#b6e5a0a8afa34dec9dae8963778aebce0c82a54b