From 8546760f1f0c07614c1fc0932f952c5d1e751f5c Mon Sep 17 00:00:00 2001
From: Thibault Dardinier <thibault.dardinier@inf.ethz.ch>
Date: Mon, 11 Nov 2024 12:24:59 +0100
Subject: [PATCH] Pulled silver

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

diff --git a/silver b/silver
index 133264d5a..f77c1b82f 160000
--- a/silver
+++ b/silver
@@ -1 +1 @@
-Subproject commit 133264d5a400fad85f1f17e2c48ecff166f5094b
+Subproject commit f77c1b82fa8ad5a0ef41ed0521b9f2e31021fd5c