Merge branch 'fix/headercheck-for-3.4' into 'releases/3.4'
fix headercheck for the dumux folder See merge request !2760
fix headercheck for the dumux folder See merge request !2760
mentioned in commit 2641bd76
·mentioned in commit 2641bd76
mentioned in merge request !2761 (merged)
·mentioned in commit 95bc97b1
·mentioned in commit 95bc97b1