From 49de17e6c12d7975b585eb567e6d591c5ac8ad0e Mon Sep 17 00:00:00 2001
From: Christian Poli <Christian.Poli@inria.fr>
Date: Mon, 4 Dec 2023 14:02:11 +0100
Subject: [PATCH] update progressivis submodule

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

diff --git a/progressivis b/progressivis
index 17caf3d..d412ba6 160000
--- a/progressivis
+++ b/progressivis
@@ -1 +1 @@
-Subproject commit 17caf3de402a3b94852ad019ef0259029446e740
+Subproject commit d412ba68b7bf91f61c931a7c28cf888e91eaeae3