Merge branch 'fix/compiler-error-precond-dune27' into 'master'
[linear][seqsolverbacked] Fix compilation error for dune-2.7 related to solveWithParamTree
See merge request !2025 (merged)
(cherry picked from commit 9dcf7b6a)
78c49f18 [linear][seqsolverbacked] Fix compilation error for dune-2.7 related to solveWithParamTree