cleanup a range of warnings (!583) · Merge requests · Core Modules / dune-istl

Merged Christian Engwer requested to merge feature/use-override into master 6 months ago

Status	Pipeline	Stages
Passed 00:53:08 6 months ago	mark numberOfIgnoredDofs as [[maybe_unused]] #73614 583 f76af0c6 merge request	Stage: .pre Stage: test	Download artifacts No artifacts found
Canceled 6 months ago	mark numberOfIgnoredDofs as [[maybe_unused]] #73613 583 8a8d2708 merge request	Stage: .pre Stage: test	Download artifacts No artifacts found
Passed 01:05:28 6 months ago	mark numberOfIgnoredDofs as [[maybe_unused]] #73612 feature/use-override 8a8d2708 branch	Stage: .pre Stage: test	Download artifacts No artifacts found

cleanup a range of warnings