From e3fe4be83b7424f5530430f1b462f07a71e55b65 Mon Sep 17 00:00:00 2001
From: Luca Casonato <lucacasonato@yahoo.com>
Date: Fri, 19 Feb 2021 15:44:22 +0100
Subject: [PATCH] chore: update third_party submodule (#9548)

---
 third_party | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/third_party b/third_party
index 281777cb3e..72f5f1a9fa 160000
--- a/third_party
+++ b/third_party
@@ -1 +1 @@
-Subproject commit 281777cb3e46ca8fefb6f96177d9acd8e82e662f
+Subproject commit 72f5f1a9fa3274ed9de313a752bbfe3afa7d39d2