Closed gilles-peskine-arm closed 2 weeks ago
Trivial backport of https://github.com/Mbed-TLS/mbedtls/pull/9225
Please tick as appropriate and edit the reasons (e.g.: "backport: not needed because this is a new feature")
I've kicked the CI to re-run the pr-head jobs, as these seem to be transient errors
Just needs the CI to finish, then can be merged together with #9225
Trivial backport of https://github.com/Mbed-TLS/mbedtls/pull/9225
PR checklist
Please tick as appropriate and edit the reasons (e.g.: "backport: not needed because this is a new feature")