From: Jérémie Astor Date: Sun, 16 Feb 2020 23:24:15 +0000 (+0100) Subject: :wrench: Fix coevrage options X-Git-Tag: nightly~1890 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=1f739e998ed5ece523a3f35378ffaec7e8bf89df;p=gwion.git :wrench: Fix coevrage options --- diff --git a/util b/util index b589b775..2681abf8 160000 --- a/util +++ b/util @@ -1 +1 @@ -Subproject commit b589b775b7912229bed90a77908b9697bfa10faa +Subproject commit 2681abf83f5dec2c1b6fe60ac2c0895a321491bf