Important changes to repositories hosted on mbed.com
Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.
To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.
It is also possible to export all your personal repositories from the account settings page.
Dependents: Encrypted my_mbed lklk CyaSSL_DTLS_Cellular ... more


Thanks for reporting. CAn you please add this to the issues on github https://github.com/mbedmicro/mbed/issues ? Or if you find time, you can send a pull request with your fix, the one you presented above.
I can add it there to the issues and reference this report there.
Regards, 0xc0170