]> Nishi Git Mirror - gwion.git/commitdiff
Update util
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Mon, 14 Sep 2020 10:10:06 +0000 (12:10 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Mon, 14 Sep 2020 10:10:06 +0000 (12:10 +0200)
util

diff --git a/util b/util
index b1152bf71e26b07d1a68c691a7c64a786ec3b7a6..6a4d0ad780438022192c2b8e1c129c85e6b897e5 160000 (submodule)
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit b1152bf71e26b07d1a68c691a7c64a786ec3b7a6
+Subproject commit 6a4d0ad780438022192c2b8e1c129c85e6b897e5