]> Nishi Git Mirror - gwion.git/commitdiff
:art: Update
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 5 Dec 2019 19:30:40 +0000 (20:30 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 5 Dec 2019 19:30:40 +0000 (20:30 +0100)
util

diff --git a/util b/util
index 10ddfce37e99cae2871f87989f122dcecc81b9ee..1232e82528b863d13c604aa3a88538641a7731e4 160000 (submodule)
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit 10ddfce37e99cae2871f87989f122dcecc81b9ee
+Subproject commit 1232e82528b863d13c604aa3a88538641a7731e4