From: Martin Kronbichler Date: Mon, 28 Aug 2023 06:37:30 +0000 (+0200) Subject: Merge pull request #15933 from kronbichler/try_to_fix_warning X-Git-Tag: relicensing~546 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b47d186bc0497a58f0449d02e804d160b3bc0703;p=dealii.git Merge pull request #15933 from kronbichler/try_to_fix_warning Avoid some loops that get never entered --- b47d186bc0497a58f0449d02e804d160b3bc0703