tree d73f70dc0c8dcf95742f3f042a63277407449a9d
parent 749c94466414f909e2b22efea602eebcfedea621
parent 61ccc131d09880baa7d37756b7d9a09183bef8e4
author Jaeden Amero <jaeden.amero@arm.com> 1554468712 +0100
committer Jaeden Amero <jaeden.amero@arm.com> 1554468712 +0100

Merge remote-tracking branch 'origin/pr/2510' into mbedtls-2.16

* origin/pr/2510:
  Remove Circle CI script