diff --git a/third_party/pthreadpool b/third_party/pthreadpool index fa75e65a58a..a134dd5d4ce 160000 --- a/third_party/pthreadpool +++ b/third_party/pthreadpool @@ -1 +1 @@ -Subproject commit fa75e65a58a5c70c09c30d17a1fe1c1dff1093ae +Subproject commit a134dd5d4cee80cce15db81a72e7f929d71dd413