diff --git a/thirdparty/criterion b/thirdparty/criterion index 1b687a9f6..101d0e0f3 160000 --- a/thirdparty/criterion +++ b/thirdparty/criterion @@ -1 +1 @@ -Subproject commit 1b687a9f6a0e51c9e9b0a047e1fcd6c94de7a080 +Subproject commit 101d0e0f3a71c414c7d2a7a2a2fa465969b6b667