mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-04-13 15:42:26 +02: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>