diff --git a/external/utilities b/external/utilities index 9ef80134a..ea0289522 160000 --- a/external/utilities +++ b/external/utilities @@ -1 +1 @@ -Subproject commit 9ef80134a7c4d0a20ea89a07dc594ff67577205e +Subproject commit ea028952280c66f3079830376542cc8290a9306e