tree 95afcc1475d480f5736e9d5e2b40ae246e44fec2
parent 415255f4a06fec556bb3685943a83a9e32d4e27e
parent 05bf39f2460f298f2824f35be0a82345dc9b333c
author Jaeden Amero <jaeden.amero@arm.com> 1554468698 +0100
committer Jaeden Amero <jaeden.amero@arm.com> 1554468698 +0100

Merge remote-tracking branch 'origin/pr/2511' into mbedtls-2.7

* origin/pr/2511:
  Remove Circle CI script