From 7718c95f203e21f7331a7893e17c63189aa27907 Mon Sep 17 00:00:00 2001
From: palainp <pierre.alain@tuta.io>
Date: Fri, 27 May 2022 15:59:49 +0200
Subject: [PATCH] no_argv not needed anymore with no-default-kernelopts for the
 VM in Qubes

---
 config.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/config.ml b/config.ml
index ba29704..a28f2f0 100644
--- a/config.ml
+++ b/config.ml
@@ -38,4 +38,3 @@ let main =
 
 let () =
   register "qubes-firewall" [main $ default_random $ default_monotonic_clock $ default_time]
-    ~argv:no_argv