From 49b23af9eeaf7b63f8600747b8ba775eebeeef5e Mon Sep 17 00:00:00 2001
From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Thu, 4 Apr 2019 20:46:29 +0200
Subject: [PATCH] :bug: Fix windows build. (hopefully ?)

---
 src/plug.c | 2 +-
 util       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/plug.c b/src/plug.c
index dc442002..ef2f0c95 100644
--- a/src/plug.c
+++ b/src/plug.c
@@ -151,4 +151,4 @@ void plug_run(const Gwion gwion, const Vector args) {
       free_vector(gwion->p, arg);
     }
   }
-}
+}
\ No newline at end of file
diff --git a/util b/util
index 156bad49..508b36ac 160000
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit 156bad49968c0a6e98d0ca304eedeaf0585d5d17
+Subproject commit 508b36ac2f97fc24febb67b14c4ebce57d22299c
-- 
2.43.0