OSDN Git Service

Merge "Properly delete the jit thread pool."
authorNicolas Geoffray <ngeoffray@google.com>
Thu, 5 Nov 2015 12:16:09 +0000 (12:16 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Thu, 5 Nov 2015 12:16:09 +0000 (12:16 +0000)
commit2b13eaa50065346d4a1345b05fe2e1455df6d71d
tree87e98bf173f0ccd98c0f0fb728c70d4a8c0eacc6
parentad15539f5a1135d82439c5eb3ed4bb80c422a734
parent629e9350b0b72998416504f7a6fb95b6086daca8
Merge "Properly delete the jit thread pool."