diff --git a/michlib b/michlib
index 4294181..020fb92 160000
--- a/michlib
+++ b/michlib
@@ -1 +1 @@
-Subproject commit 4294181cfe0dae07f8c46bc3c3c1ea86f377eae8
+Subproject commit 020fb92bf796a1f66d10b488b2e0768d8ed72cb2