Skip to content
Snippets Groups Projects
Commit 430e4dae authored by Ivan Buntic's avatar Ivan Buntic
Browse files

Merge branch 'cherry-pick-9dc4c034' into 'releases/3.8' 

Merge branch 'fix/headercheck_staggered' into 'master'

See merge request !3719
parents 44e16d06 e6ef384f
No related branches found
No related tags found
1 merge request!3719Merge branch 'fix/headercheck_staggered' into 'master'
Pipeline #38588 passed
Stage: check-status
Stage: trigger dumux pipelines
Pipeline: dumux

#38596

    Pipeline: dumux

    #38595

      Pipeline: dumux

      #38594

        +5