[WIP] Merge branch 'feature/version-check-solverfactory' into 'master'

Timo Kochrequested to merge
cherry-pick-07488576 into releases/3.2

[linear][istlsolverfactorybackend] Make usable with dune 2.7

See merge request !1982 (merged)

(cherry picked from commit 07488576)

947f1b32 [linear][istlsolverfactorybackend] Make usable with dune 2.7

Edited by Kilian Weishaupt

Merge request reports