From cace161f388ccd367be7d058c205ac2ecd9b03e3 Mon Sep 17 00:00:00 2001 From: David Gardner Date: Wed, 16 Oct 2024 13:12:38 -0700 Subject: [PATCH] Adopt updated utilities commit to pick up fix for #1923 --- external/utilities | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/utilities b/external/utilities index 85f8f7af2e..722c1352a0 160000 --- a/external/utilities +++ b/external/utilities @@ -1 +1 @@ -Subproject commit 85f8f7af2e8d9bc7bde978cd40c40297b1116957 +Subproject commit 722c1352a0e9b9f606d343714cee88578c12e455