From b85b759d95b3804ba0507713e3ab457e77285262 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Mon, 22 Jul 2024 16:00:33 +0100
Subject: [PATCH] Update subproject general-semi-homog-presentation

116bfbf Make statements conditional on existence of semistable kernel
---
 subprojects/general-semi-homog-presentation | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/subprojects/general-semi-homog-presentation b/subprojects/general-semi-homog-presentation
index 827246a..116bfbf 160000
--- a/subprojects/general-semi-homog-presentation
+++ b/subprojects/general-semi-homog-presentation
@@ -1 +1 @@
-Subproject commit 827246acb185e4281fed3e4d9c8bfc4aa9bf0954
+Subproject commit 116bfbf2b6648c56a2d8b2652ac264300fcca621
-- 
GitLab