mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-05-08 18:54:23 +02:00
This reverts commit db2a6c1a20.
Does not seem to work as expected on the buildbots. Reverted while
investigating, since it had no other used than speeding up the test script.