Merge pull request #1627 from sandrine-bailleux-arm/sb/object-pool-allocator
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Fri, 12 Oct 2018 16:45:31 +0000 (17:45 +0100)
committerGitHub <noreply@github.com>
Fri, 12 Oct 2018 16:45:31 +0000 (17:45 +0100)
Introduce object pool allocator


Trivial merge