From 5139baeb148845d3469ec3fbb88b7fea2874d16a Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 9 Dec 2024 09:57:33 +0000
Subject: [PATCH] Bump external/iris from `7b3508c` to `72e683c`

Bumps external/iris from `7b3508c` to `72e683c`.

---
updated-dependencies:
- dependency-name: external/iris
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 external/iris | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/external/iris b/external/iris
index 7b3508cf5..72e683c9f 160000
--- a/external/iris
+++ b/external/iris
@@ -1 +1 @@
-Subproject commit 7b3508cf539d4f871c8f8d5635d12e4179f19957
+Subproject commit 72e683c9f42838e4f2a2ddbafcf03cd0a9321e5f