Skip to content
Snippets Groups Projects
Commit dbf7300a authored by Yue Wang's avatar Yue Wang
Browse files

Merge branch 'cherry-pick-5d0f02e0' into 'releases/3.5'

Merge branch 'feature/headercheck' into 'master'

See merge request !3075
parents 8555f4a6 352ba8e9
No related branches found
No related tags found
2 merge requests!3298Draft: Merge branch 'fix/deprecated-attribute' into 'master',!3075Merge branch 'feature/headercheck' into 'master'
Pipeline #15743 passed
Pipeline: dumux-lecture

#15764

    Pipeline: dumux

    #15747

      Pipeline: dumux

      #15746

        +2