From 87e3ab87706b705c7f4a57859d6ba4fb51bdfda8 Mon Sep 17 00:00:00 2001
From: Mikhail Volkhov <volhovm.cs@gmail.com>
Date: Tue, 17 Sep 2024 18:36:28 +0100
Subject: [PATCH] Revendor

---
 proof-systems-vendors | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/proof-systems-vendors b/proof-systems-vendors
index 97360b434b..b600cadc51 160000
--- a/proof-systems-vendors
+++ b/proof-systems-vendors
@@ -1 +1 @@
-Subproject commit 97360b434b585ae85a992ca4bd3fc784b1ff8426
+Subproject commit b600cadc5108ce2bed7ccaae693e202fd76653ce