From 61088cca78ad4b6569ebb2e767dd5241e6432748 Mon Sep 17 00:00:00 2001
From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Wed, 3 Jul 2019 14:46:39 +0200
Subject: [PATCH] :art: Improve insert_symbol

---
 util | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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