From e8091fa740e07cedd12fad84df2427052d08c0b6 Mon Sep 17 00:00:00 2001 From: "J. King" Date: Mon, 24 Feb 2020 18:52:14 -0500 Subject: [PATCH] Speed up coverage slightly. --- tests/phpunit.dist.xml | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/phpunit.dist.xml b/tests/phpunit.dist.xml index ece5eef..0c6f8a7 100644 --- a/tests/phpunit.dist.xml +++ b/tests/phpunit.dist.xml @@ -2,6 +2,7 @@