From: Daniel Arndt Date: Wed, 20 Jul 2022 17:09:01 +0000 (-0400) Subject: Merge pull request #14143 from jppelteret/iterator_conversion_01 X-Git-Tag: v9.5.0-rc1~1071 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8341d94ba0b190a540c38310d66779d22d81e574;p=dealii.git Merge pull request #14143 from jppelteret/iterator_conversion_01 --- 8341d94ba0b190a540c38310d66779d22d81e574