From 102042ac8ac7425678728848ed04b7b5df1a2482 Mon Sep 17 00:00:00 2001
From: Federico Poli <fpoli@users.noreply.github.com>
Date: Mon, 19 Feb 2024 12:00:42 +0100
Subject: [PATCH] Try the new Viper release

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

diff --git a/viper-toolchain b/viper-toolchain
index 0f55698e06c..845484a9511 100644
--- a/viper-toolchain
+++ b/viper-toolchain
@@ -1 +1 @@
-v-2024-02-01-0836
+24.01-RC