From 13f390591b5cc41bc23aa6f4f132dab712e615ff Mon Sep 17 00:00:00 2001 From: Jan-Henrik Bruhn Date: Sun, 12 Jan 2020 18:08:13 +0100 Subject: [PATCH] Update stmlib --- stmlib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stmlib b/stmlib index f3fdd66..5ba34b6 160000 --- a/stmlib +++ b/stmlib @@ -1 +1 @@ -Subproject commit f3fdd66a6c88812d653a07d307913a53ade81c79 +Subproject commit 5ba34b6c8965f91b4a0f3f60640ec3d429e420b9