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