fix memory leak (#4811)
authorHaichen Shen <shenhaichen@gmail.com>
Tue, 4 Feb 2020 21:14:15 +0000 (13:14 -0800)
committerGitHub <noreply@github.com>
Tue, 4 Feb 2020 21:14:15 +0000 (13:14 -0800)
commit60c52e137f3975fd7933dae486d6cb2790547640
tree824a0fa6ef966dc8100c0a5e00d51cca0e55bd8c
parentd2799915db87107c83ef105a2a628fc54b1cada4
fix memory leak (#4811)
src/runtime/thread_pool.cc