diff --git a/external_tools/WHFC b/external_tools/WHFC index 9bd0a89c1..2bf2942d5 160000 --- a/external_tools/WHFC +++ b/external_tools/WHFC @@ -1 +1 @@ -Subproject commit 9bd0a89c113ef67003011f41917af1a71d026d29 +Subproject commit 2bf2942d5fa3e6781fd6ae92d05134e2598b25aa