]> Nishi Git Mirror - gwion.git/commitdiff
:art: Improve insert_symbol
authorfennecdjay <astor.jeremie@wanadoo.fr>
Wed, 3 Jul 2019 12:46:39 +0000 (14:46 +0200)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Wed, 3 Jul 2019 12:46:39 +0000 (14:46 +0200)
util

diff --git a/util b/util
index 106fc5bb87ddb51c9ce44714f23383b78c339ce7..70e33beb342ad8240a034268d3246ef3d69b27a5 160000 (submodule)
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit 106fc5bb87ddb51c9ce44714f23383b78c339ce7
+Subproject commit 70e33beb342ad8240a034268d3246ef3d69b27a5