Merge branch 'cherry-pick-07dfbe18' into 'releases/3.6'
Merge branch 'update/installation-3.6' into 'master' See merge request dumux-repositories/dumux!3312
No related branches found
No related tags found
Checking pipeline status
Merge branch 'update/installation-3.6' into 'master' See merge request dumux-repositories/dumux!3312