From 45a6ea7f8446df2886df53f17d57b72e2bd88c8f Mon Sep 17 00:00:00 2001
From: smoench <simon.moench@sensiolabs.de>
Date: Mon, 7 Dec 2020 09:02:13 +0100
Subject: [PATCH] Upgrade infection to 0.20.2

---
 phpunit.xml.dist                   | 1 -
 vendor-bin/infection/composer.json | 4 ++--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/phpunit.xml.dist b/phpunit.xml.dist
index 12752a5d3..b2e74d359 100644
--- a/phpunit.xml.dist
+++ b/phpunit.xml.dist
@@ -5,7 +5,6 @@
          beStrictAboutChangesToGlobalState="true"
          beStrictAboutOutputDuringTests="true"
          beStrictAboutResourceUsageDuringSmallTests="true"
-         beStrictAboutCoversAnnotation="true"
          colors="true">
 
     <php>
diff --git a/vendor-bin/infection/composer.json b/vendor-bin/infection/composer.json
index 707b7e834..279fdffff 100644
--- a/vendor-bin/infection/composer.json
+++ b/vendor-bin/infection/composer.json
@@ -1,5 +1,5 @@
 {
     "require-dev": {
-        "infection/infection": "^0.15"
+        "infection/infection": "^0.20"
     }
-}
\ No newline at end of file
+}