From: Wolfgang Bangerth Date: Fri, 27 Aug 2021 03:07:24 +0000 (-0600) Subject: Merge pull request #12707 from peterrum/range-based-loop X-Git-Tag: v9.4.0-rc1~1031 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9b225daccb2a985cd461195c0634e8900157271a;p=dealii.git Merge pull request #12707 from peterrum/range-based-loop Replace loop by range-based loop --- 9b225daccb2a985cd461195c0634e8900157271a