commit | 2b13eaa50065346d4a1345b05fe2e1455df6d71d | [log] [tgz] |
---|---|---|
author | Nicolas Geoffray <ngeoffray@google.com> | Thu Nov 05 12:16:09 2015 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu Nov 05 12:16:09 2015 +0000 |
tree | 87e98bf173f0ccd98c0f0fb728c70d4a8c0eacc6 | |
parent | ad15539f5a1135d82439c5eb3ed4bb80c422a734 [diff] | |
parent | 629e9350b0b72998416504f7a6fb95b6086daca8 [diff] |
Merge "Properly delete the jit thread pool."