From: David Wells Date: Tue, 3 Jun 2025 23:33:33 +0000 (-0400) Subject: Merge pull request #18545 from bangerth/constructor X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=39cb4f53149514354e6c344994a4c5500517e2c7;p=dealii.git Merge pull request #18545 from bangerth/constructor Change type of a variable. --- 39cb4f53149514354e6c344994a4c5500517e2c7