mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-12-24 17:41:01 +03:00
These were probably leftovers from the development phase of the associated PR that were not removed in the end. Signed-off-by: Valerio Setti <valerio.setti@nordicsemi.no>