From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Wed, 3 Jul 2019 12:46:39 +0000 (+0200)
Subject: :art: Improve insert_symbol
X-Git-Tag: nightly~2381^2~12
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=61088cca78ad4b6569ebb2e767dd5241e6432748;p=gwion.git

:art: Improve insert_symbol
---

diff --git a/util b/util
index 106fc5bb..70e33beb 160000
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit 106fc5bb87ddb51c9ce44714f23383b78c339ce7
+Subproject commit 70e33beb342ad8240a034268d3246ef3d69b27a5