tree 56c37fab13bc54f7d9c0fc8d1b6e3b4c05b11606
parent 8b1cddcf2655e1346e12c759c324d6923468c55e
parent aa3ff98b1dc3079d0c367787b033633ffc557f49
author Gilles Peskine <Gilles.Peskine@arm.com> 1522579293 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1522579293 +0200

Merge remote-tracking branch 'upstream-public/pr/1501' into mbedtls-2.1-proposed