From 9f7bdbd3bb9c5558139cb4f17273747ca32e0f27 Mon Sep 17 00:00:00 2001
From: Linard Arquint <linard.arquint@inf.ethz.ch>
Date: Tue, 20 Feb 2024 08:31:47 +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 9e234071f..1a1fcff2e 160000
--- a/viperserver
+++ b/viperserver
@@ -1 +1 @@
-Subproject commit 9e234071f7ec6f43f7ec9ac6bae3ecb2523c7c5c
+Subproject commit 1a1fcff2ecda88b3c6ea9875583f3abcd790dcaf