tree 95e3c1863fd8906d82130c24805a05705bf7e3dc
parent 9635fbee93010326d903bf0c64912a39f10da33c
parent 1e7b825ffb4c19e1f046eb254ab8e491919c7a69
author Nicolas Geoffray <ngeoffray@google.com> 1526572953 -0700
committer android-build-merger <android-build-merger@google.com> 1526572953 -0700

Merge "Add a new thread pool pthread priority option."
am: 1e7b825ffb

Change-Id: Ibc11c387395234951c7d2ac4328e0b5144e181a7