Commit c4dea6dc authored by Andreas Dedner's avatar Andreas Dedner

[!317] fix a headercheck issue

Merge branch 'bugfix/heachercheck' into 'master'

See merge request [!317]

  [!317]: Nonedune-fem/dune-fem/merge_requests/317
parents 8bbdd641 571a3633
Pipeline #18518 passed with stage
in 44 minutes and 40 seconds