Fix CTR_DRBG benchmark#262

gilles-peskine-arm merged 1 commit intomasterARMmbed/mbed-os-example-tls:masterfrom

dev/gilles-peskine-arm/benchmark-ctr_drbg-resetARMmbed/mbed-os-example-tls:dev/gilles-peskine-arm/benchmark-ctr_drbg-resetCopy head branch name to clipboard