From 62e7607c380846c2152f0af1653619d3de401482 Mon Sep 17 00:00:00 2001
From: Jan-Henrik Bruhn <hi@jhbruhn.de>
Date: Fri, 21 Feb 2020 01:55:57 +0100
Subject: [PATCH] Update stmlib

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

diff --git a/stmlib b/stmlib
index 127219d..cf83b96 160000
--- a/stmlib
+++ b/stmlib
@@ -1 +1 @@
-Subproject commit 127219d9f633055ed528ee1affc41cc419a895e9
+Subproject commit cf83b960d14972f9de52e4d998401b60809baf7a