Skip to content

Merge branch 'fix/separate-development-dependencies' into 'master'

Mathis Kelm requested to merge cherry-pick-e07e3e42 into releases/3.6

What this MR does / why does DuMux need it:

Backport !3371 (merged) to latest release 3.6 to fix CI errors caused by updated dependency.

Edited by Timo Koch

Merge request reports