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)
commitebce735dac2f28e8034c6fd1ba7a7537fd63fbfa
tree3e9ef7a900be6fce016a72b7b6cd7de614ada47b
parentb70dcbc17222687859ac1cf58d4d7c5cb5c379fe
parent033648652f2d66abe2454a75ded891a47cb13446
Merge pull request #1406 from robertovargas-arm/uuid

Make TF UUID RFC 4122 compliant