]> Nishi Git Mirror - gwion.git/commitdiff
:art: Add infer flag
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 8 May 2020 18:48:34 +0000 (20:48 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 8 May 2020 18:48:34 +0000 (20:48 +0200)
util

diff --git a/util b/util
index 9cad8647ebfe4024c2fb262fa42a2096d84fb183..3765afd505c6da83445f07552e471bf4cc180a4c 160000 (submodule)
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit 9cad8647ebfe4024c2fb262fa42a2096d84fb183
+Subproject commit 3765afd505c6da83445f07552e471bf4cc180a4c