diff --git a/third_party/tools b/third_party/tools index 5bb2ac1..271b2f2 160000 --- a/third_party/tools +++ b/third_party/tools @@ -1 +1 @@ -Subproject commit 5bb2ac1a389f739ac46e0c0e41f037c8abf2b983 +Subproject commit 271b2f2ef79d15d3b63bd21a3257a914f9be6434