Merge pull request #1528 from antonio-nino-diaz-arm/an/libc
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Wed, 22 Aug 2018 13:40:50 +0000 (14:40 +0100)
committerGitHub <noreply@github.com>
Wed, 22 Aug 2018 13:40:50 +0000 (14:40 +0100)
libc: Cleanup library


Trivial merge