mirror of
https://github.com/cuberite/polarssl.git
synced 2025-09-07 22:27:01 -04:00

as requested, see https://github.com/ARMmbed/mbedtls/pull/3419#discussion_r443836568 Signed-off-by: Nicola Di Lieto <nicola.dilieto@gmail.com>