]> Nishi Git Mirror - gwion.git/commitdiff
Fix makefile
authorJérémie Astor <fennecdjay@gmail.com>
Thu, 11 Mar 2021 13:30:39 +0000 (14:30 +0100)
committerJérémie Astor <fennecdjay@gmail.com>
Thu, 11 Mar 2021 13:30:39 +0000 (14:30 +0100)
util

diff --git a/util b/util
index d57546f7b98b4a28b127ce5fde7c7b542519170f..737ca0411efc46c42c7e84813e81e55a6a664d2c 160000 (submodule)
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit d57546f7b98b4a28b127ce5fde7c7b542519170f
+Subproject commit 737ca0411efc46c42c7e84813e81e55a6a664d2c