From 9b5650fd6f7bce0a72a9b18b73a770c3ae7b4d50 Mon Sep 17 00:00:00 2001
From: Christoph Scholtes <cschol2112@gmail.com>
Date: Tue, 20 Oct 2020 17:24:11 -0600
Subject: [PATCH] Update plugin manifest for FehlerFabrik-Suite. #665

---
 repos/FehlerFabrik-Suite | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/FehlerFabrik-Suite b/repos/FehlerFabrik-Suite
index 7ec09819..c40ba762 160000
--- a/repos/FehlerFabrik-Suite
+++ b/repos/FehlerFabrik-Suite
@@ -1 +1 @@
-Subproject commit 7ec09819338c2d57dbb1fd3e4d470bfb48cba131
+Subproject commit c40ba762f7bfb9b4ca49f4511f19c53f097270be