From: Daniel Arndt Date: Sat, 4 Apr 2020 13:26:50 +0000 (-0400) Subject: Merge pull request #9813 from bangerth/cleanups-2 X-Git-Tag: v9.2.0-rc1~304 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=debbc75efb00a0b8d77b413ff8dc5f5f4d4ca763;p=dealii.git Merge pull request #9813 from bangerth/cleanups-2 Simplify some code by using a range-based for loop. --- debbc75efb00a0b8d77b413ff8dc5f5f4d4ca763