diff --git a/external_tools/WHFC b/external_tools/WHFC index d49400981..5ae2e3664 160000 --- a/external_tools/WHFC +++ b/external_tools/WHFC @@ -1 +1 @@ -Subproject commit d494009813c7a7b2432adc5c3f08189fca37405b +Subproject commit 5ae2e3664391ca0db7fab2c82973e98c48937a08 diff --git a/external_tools/kahypar-shared-resources b/external_tools/kahypar-shared-resources index 13585e093..6d5c8e244 160000 --- a/external_tools/kahypar-shared-resources +++ b/external_tools/kahypar-shared-resources @@ -1 +1 @@ -Subproject commit 13585e09300c3d0ab80568c84e72543d1b8eb084 +Subproject commit 6d5c8e2444e4310667ec1925e995f26179d7ee88