diff --git a/third_party/tools b/third_party/tools index 271b2f2..20a9680 160000 --- a/third_party/tools +++ b/third_party/tools @@ -1 +1 @@ -Subproject commit 271b2f2ef79d15d3b63bd21a3257a914f9be6434 +Subproject commit 20a9680f4a4322148e9d21d3a17ec8b91cc4d5e4