From 20fae1c1ee9eaf963058eca013b53ec810924178 Mon Sep 17 00:00:00 2001
From: "Alexander M. Turek" <me@derrabus.de>
Date: Tue, 28 Sep 2021 17:12:30 +0200
Subject: [PATCH] Remove obsolete error suppression

Signed-off-by: Alexander M. Turek <me@derrabus.de>
---
 psalm.xml.dist | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/psalm.xml.dist b/psalm.xml.dist
index 60ba5988894..406d52ea4a1 100644
--- a/psalm.xml.dist
+++ b/psalm.xml.dist
@@ -232,15 +232,6 @@
                 <directory name="src"/>
             </errorLevel>
         </RedundantCastGivenDocblockType>
-        <RedundantCondition>
-            <errorLevel type="suppress">
-                <!--
-                    Requires a release of
-                    https://github.com/sebastianbergmann/phpunit/commit/9c60d7d9fd3bfa80fa4aeab7090e1bbe0830dbcd
-                -->
-                <file name="tests/Driver/API/ExceptionConverterTest.php"/>
-            </errorLevel>
-        </RedundantCondition>
         <RedundantConditionGivenDocblockType>
             <errorLevel type="suppress">
                 <!--