From 8b4f02e91943078d91b15ba8d2f6a3e8d7e1d75c Mon Sep 17 00:00:00 2001
From: Jan-Henrik Bruhn <hi@jhbruhn.de>
Date: Sat, 9 May 2020 13:17:17 +0200
Subject: [PATCH] Update stmlib

---
 stmlib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stmlib b/stmlib
index 447064a..93e97d1 160000
--- a/stmlib
+++ b/stmlib
@@ -1 +1 @@
-Subproject commit 447064aa33713488a2e8c84408c50b2bc55403f7
+Subproject commit 93e97d160dc0d3613bf39c3a7a908e719ed24797