diff --git a/external/benchmark b/external/benchmark index a8460680..517b5d56 160000 --- a/external/benchmark +++ b/external/benchmark @@ -1 +1 @@ -Subproject commit a8460680f0df91fd26205e0931708a26c3b4094d +Subproject commit 517b5d5622cfd62e682725341b57001160fb9cac