diff --git a/external/utilities b/external/utilities index e49a3fa449..c80e5de072 160000 --- a/external/utilities +++ b/external/utilities @@ -1 +1 @@ -Subproject commit e49a3fa44951305e4837b140692282bb5e603eb8 +Subproject commit c80e5de07299a0b2b4911633b9c3eda9548bfed0