diff --git a/external/utilities b/external/utilities index 2182f0dc50..d0bf0272d0 160000 --- a/external/utilities +++ b/external/utilities @@ -1 +1 @@ -Subproject commit 2182f0dc5067963d997838629645db6fd80c4727 +Subproject commit d0bf0272d0ba8e1ebc182bba3cdbc1d6798db97d