Merge branch 'cleanup/iterator' into 'master' (!8) · Merge requests · extensions / dune-polygongrid

Robert K requested to merge cherry-pick-4be4c85b into releases/2.10 Sep 05, 2024

[cleanup] Remove warning about std::iterator.

See merge request !7 (merged)

(cherry picked from commit 4be4c85b)

41bc872c [cleanup] Remove warning about std::iterator. 5f70d15b [bugfix][ci] Fix headercheck in CI.

Co-authored-by: Robert K robertk@posteo.org

Merge branch 'cleanup/iterator' into 'master'