Merge pull request #1650 from chandnich/sgiclark-ares-support
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Wed, 31 Oct 2018 14:47:21 +0000 (15:47 +0100)
committerGitHub <noreply@github.com>
Wed, 31 Oct 2018 14:47:21 +0000 (15:47 +0100)
Sgiclark ares support


Trivial merge