Skip to content

Merge branch 'doc/update-darus-link' into 'master'

Ivan Buntic requested to merge cherry-pick-76c63246 into releases/3.8

What this MR does / why does DuMux need it:
Backport !3720 (merged) into releases/3.8.

Merge request reports