Merge pull request #1851 from antonio-nino-diaz-arm/an/pauth
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Mon, 4 Mar 2019 09:51:34 +0000 (09:51 +0000)
committerGitHub <noreply@github.com>
Mon, 4 Mar 2019 09:51:34 +0000 (09:51 +0000)
Correctly check for support of Address Authentication


Trivial merge