Merge branch 'eyraud/fix_regr' into 'master'

Jugst3r · Jugst3r · commit 13dcd3e10494 · 2023-08-29T12:56:30.000Z
Kill test in 5.04a1 config

See merge request eng/cov/gnatcoverage!240

Ref: eng/cov/gnatcoverage#106
diff --git a/testsuite/tests/106-externally-built-header/test.opt b/testsuite/tests/106-externally-built-header/test.opt
@@ -0,0 +1 @@
+5.04a1 XFAIL Incompatibility between gnatls and GNATCOLL.Projects

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+5.04a1 XFAIL Incompatibility between gnatls and GNATCOLL.Projects`