diff --git a/3rdparty b/3rdparty index 25e8568d41..72db6ce87d 160000 --- a/3rdparty +++ b/3rdparty @@ -1 +1 @@ -Subproject commit 25e8568d41a9b9a6d1662ccf33058822a890e7f5 +Subproject commit 72db6ce87d69f00ce62d2f3f277a54f6fdd0f693