OSDN Git Service

Merge "Properly delete the jit thread pool."
authorNicolas Geoffray <ngeoffray@google.com>
Thu, 5 Nov 2015 12:18:32 +0000 (12:18 +0000)
committerandroid-build-merger <android-build-merger@google.com>
Thu, 5 Nov 2015 12:18:32 +0000 (12:18 +0000)
commitdb1d1dec24f78768d4a828d1542e41458e1b8138
tree87e98bf173f0ccd98c0f0fb728c70d4a8c0eacc6
parent6ceb9dfb87085d9693b4b2aeb9e141d48af71cee
parent2b13eaa50065346d4a1345b05fe2e1455df6d71d
Merge "Properly delete the jit thread pool."
am: 2b13eaa500

* commit '2b13eaa50065346d4a1345b05fe2e1455df6d71d':
  Properly delete the jit thread pool.