Merge pull request #1825 from antonio-nino-diaz-arm/an/csv2
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Tue, 19 Feb 2019 10:04:00 +0000 (10:04 +0000)
committerGitHub <noreply@github.com>
Tue, 19 Feb 2019 10:04:00 +0000 (10:04 +0000)
Update macro to check need for CVE-2017-5715 mitigation


Trivial merge