mirror of
https://github.com/polhenarejos/pico-hsm.git
synced 2026-07-15 18:22:58 +01:00
Update mbedtls only when necessary.
Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
This commit is contained in:
Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>