From: Peter Munch Date: Wed, 26 Jul 2023 20:41:40 +0000 (+0200) Subject: Merge pull request #15800 from peterrum/ac_warning X-Git-Tag: relicensing~638 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7f8a27492ea8253a978c721ddfcf7d43844c9727;p=dealii.git Merge pull request #15800 from peterrum/ac_warning AffineConstraints: fix warnings --- 7f8a27492ea8253a978c721ddfcf7d43844c9727