From f9f7e97043323c376c4e2ab3d3fc145b3198ba1a Mon Sep 17 00:00:00 2001 From: jancrichter <40425803+jancrichter@users.noreply.github.com> Date: Thu, 18 Aug 2022 12:59:56 +0200 Subject: [PATCH] adjust tests to correctly test for retainment of header --- tools/filters/grep.xml | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/tools/filters/grep.xml b/tools/filters/grep.xml index ba65f014a75..b39680f93df 100644 --- a/tools/filters/grep.xml +++ b/tools/filters/grep.xml @@ -51,9 +51,21 @@ + + + + + + + + + + + +