From 78c09b5bca8ceb3e237f08c675ffd2085e037952 Mon Sep 17 00:00:00 2001 From: Julien Veyssier Date: Mon, 22 Jul 2024 11:36:40 +0200 Subject: [PATCH] chore: update 3rdparty Signed-off-by: Julien Veyssier --- 3rdparty | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/3rdparty b/3rdparty index 72598ddd873..e153540bcc9 160000 --- a/3rdparty +++ b/3rdparty @@ -1 +1 @@ -Subproject commit 72598ddd873afd5643d62ddfc4d962d04b2b4519 +Subproject commit e153540bcc9c2dca7742763e071b07b97d3d55b8