diff --git a/third_party/tools b/third_party/tools index 24f9ee2..20a9680 160000 --- a/third_party/tools +++ b/third_party/tools @@ -1 +1 @@ -Subproject commit 24f9ee2e0d6bda93893bb6f18aefd86731c8e322 +Subproject commit 20a9680f4a4322148e9d21d3a17ec8b91cc4d5e4