Skip to content

[!131] Change deprecated header

Dominic Kempf requested to merge cherry-pick-f56d4d31 into releases/2.7

Merge branch 'bugfix/change-deprecated-header' into 'master'

See merge request quality/dune-testtools!131

(cherry picked from commit f56d4d31)

5a602c64 Change deprecated header

Merge request reports