From 2c439abb641b48aa3c43d4b362c8d577d7166d3b Mon Sep 17 00:00:00 2001
From: David Duque <david.f.s.duque@tecnico.ulisboa.pt>
Date: Fri, 17 Apr 2020 20:53:49 +0100
Subject: [PATCH] Unpack argv

---
 tools/editconf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/editconf.py b/tools/editconf.py
index d89ef60d..2f5ebd50 100755
--- a/tools/editconf.py
+++ b/tools/editconf.py
@@ -4,4 +4,4 @@ from os import system
 from sys import argv
 
 # Pass control to the actual script
-system(f"management/editconf.py {argv[1:]}")
+system(f"management/editconf.py {*argv[1:]}")