From 0713de14e54b7b503a0a5086aad8ec4166971bc0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jon=C3=A1=C5=A1=20Fiala?= <jonas.fiala@inf.ethz.ch>
Date: Tue, 18 Jul 2023 17:38:42 +0200
Subject: [PATCH] Update silver

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

diff --git a/silver b/silver
index a57e30780..00611a702 160000
--- a/silver
+++ b/silver
@@ -1 +1 @@
-Subproject commit a57e30780d56d3da3b5e70e298236140315e1aaa
+Subproject commit 00611a7026dcf8cd495647655e781fe74a0702da