Merge pull request #1406 from robertovargas-arm/uuid
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Fri, 22 Jun 2018 14:56:42 +0000 (15:56 +0100)
committerGitHub <noreply@github.com>
Fri, 22 Jun 2018 14:56:42 +0000 (15:56 +0100)
Make TF UUID RFC 4122 compliant


Trivial merge