From: Daniel Arndt Date: Wed, 30 Apr 2025 21:11:15 +0000 (-0400) Subject: Merge pull request #18377 from bangerth/matrix-out X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4a12d4315f58d8321a039d045f45962e156520df;p=dealii.git Merge pull request #18377 from bangerth/matrix-out --- 4a12d4315f58d8321a039d045f45962e156520df