Merge pull request #2348 from ben-clayton/thread-local
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Wed, 22 Jul 2020 04:47:06 +0000 (11:47 +0700)
committerGitHub <noreply@github.com>
Wed, 22 Jul 2020 04:47:06 +0000 (11:47 +0700)
Simplify PoolAlloc by using `thread_local`


Trivial merge