]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Set util build names
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Wed, 6 May 2020 15:20:39 +0000 (17:20 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Wed, 6 May 2020 15:20:39 +0000 (17:20 +0200)
util

diff --git a/util b/util
index b83174c4c45a7f372d317cd6cb1b0c357fba7afb..ea14178666a7367e7eb558bbd1b38f87c72c81fe 160000 (submodule)
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit b83174c4c45a7f372d317cd6cb1b0c357fba7afb
+Subproject commit ea14178666a7367e7eb558bbd1b38f87c72c81fe