Skip to content

Add missing namespace fixes for addToDiagonal

Apparently the calls are not used anywhere in dune-solvers itself, that's why the CI system didn't catch the problem.

Merge request reports