From 9b9ac8def9c997902c6fcd0dd6de0f79c3532e2a Mon Sep 17 00:00:00 2001
From: Dirk Vanden Boer <dirk.vandenboer@vito.be>
Date: Fri, 1 Sep 2023 11:13:58 +0200
Subject: [PATCH] Infra update

---
 deps/infra | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/infra b/deps/infra
index 84a0ef2..ec31306 160000
--- a/deps/infra
+++ b/deps/infra
@@ -1 +1 @@
-Subproject commit 84a0ef27456e5385c181988a8f4924031b0f00a9
+Subproject commit ec313063659b2465cf2ebdfb961c6fcb4ad99ab0