Bump lib.

Gadgetoid · Gadgetoid · commit 5cc6bdb98b0f · 2023-04-25T16:37:56.000+01:00
diff --git a/library/lib b/library/lib
@@ -1 +1 @@
-Subproject commit 15330cb384aed2411ec7e42712ad4ed7af940877
+Subproject commit 1f47b59ed603223d1376d36c788c89af67ae2fdc
