From: Peter Munch Date: Tue, 13 Sep 2022 09:16:37 +0000 (+0200) Subject: Merge pull request #14264 from kronbichler/avoid_warning X-Git-Tag: v9.5.0-rc1~974 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c3e9320d9a148aa7ff35791fec25c0a715273d45;p=dealii.git Merge pull request #14264 from kronbichler/avoid_warning Avoid warning about function that might not be inlinable --- c3e9320d9a148aa7ff35791fec25c0a715273d45