From e5005318d43e2e64cb0900b2f0bbbc53e9386d61 Mon Sep 17 00:00:00 2001
From: Mikhail Volkhov <volhovm.cs@gmail.com>
Date: Wed, 18 Sep 2024 13:46:10 +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 782304f933..1838e82bea 160000
--- a/proof-systems-vendors
+++ b/proof-systems-vendors
@@ -1 +1 @@
-Subproject commit 782304f9337249282065e2fc96ef1d8657e93e52
+Subproject commit 1838e82bea3650e67ba986b756d32440a28508fc