tree 20ebb476470a09be9662c7f06847c2de275771c0
parent cb5123fa86982c75f2c8061b58ac51c9e9938fdb
author Andres Amaya Garcia <andres.amayagarcia@arm.com> 1513109703 +0000
committer Andres Amaya Garcia <andres.amayagarcia@arm.com> 1516736264 +0000

Change formatting of allocation check in x509_crl