mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-02-06 03:40:04 +00:00
ee8109541a
That's nonstandard. Instead, convert to an integer. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>