From: Wolfgang Bangerth Date: Wed, 22 May 2024 15:43:18 +0000 (-0600) Subject: Merge pull request #17061 from peterrum/step76_loop X-Git-Tag: v9.6.0-rc1~242 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=863c79a8b7e6b8319d9cae23b9c83cbe923fd127;p=dealii.git Merge pull request #17061 from peterrum/step76_loop Step-76: remove redundant for loop --- 863c79a8b7e6b8319d9cae23b9c83cbe923fd127