From 1f739e998ed5ece523a3f35378ffaec7e8bf89df Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Mon, 17 Feb 2020 00:24:15 +0100 Subject: [PATCH] :wrench: Fix coevrage options --- util | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/util b/util index b589b775b..2681abf83 160000 --- a/util +++ b/util @@ -1 +1 @@ -Subproject commit b589b775b7912229bed90a77908b9697bfa10faa +Subproject commit 2681abf83f5dec2c1b6fe60ac2c0895a321491bf