Skip to content

Merge branch 'fix/doc-debug' into 'master'

Ivan Buntic requested to merge cherry-pick-6b7b054b into releases/3.8

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

Merge request reports