Skip to content
Snippets Groups Projects
Commit 5764d95c authored by Timo Koch's avatar Timo Koch
Browse files

Merge branch 'cherry-pick-4cfcfa16' into 'releases/3.8'

Merge branch 'cleanup/update-dumux-version-installscripts' into 'master'

See merge request !3692
parents 821b70a1 5f5a12d7
No related branches found
No related tags found
1 merge request!3692Merge branch 'cleanup/update-dumux-version-installscripts' into 'master'
Pipeline #37732 passed
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment