From f80c589096e668236c43d0b450385b76cb462e5d Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 7 Oct 2024 20:07:35 +0000
Subject: [PATCH] deps/plugin: Set Version
 f8f780a363c07c6a7e818fb10f12349e8e47e6cc

---
 deps/plugin | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/plugin b/deps/plugin
index 3492f6deff..f8f780a363 160000
--- a/deps/plugin
+++ b/deps/plugin
@@ -1 +1 @@
-Subproject commit 3492f6deff69f11b64e700cdb6305024fc0fac84
+Subproject commit f8f780a363c07c6a7e818fb10f12349e8e47e6cc