From cccff562dc5e411ee40f44c9350fc33c10585647 Mon Sep 17 00:00:00 2001
From: Linard Arquint <linard.arquint@inf.ethz.ch>
Date: Tue, 20 Feb 2024 08:39:23 +0100
Subject: [PATCH] updates ViperServer to 'v.24.01-release'

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

diff --git a/viperserver b/viperserver
index f59e00c39..1a1fcff2e 160000
--- a/viperserver
+++ b/viperserver
@@ -1 +1 @@
-Subproject commit f59e00c39c17a4d91c9bc1d6055a24b0814fdb1a
+Subproject commit 1a1fcff2ecda88b3c6ea9875583f3abcd790dcaf