From: Martin Kronbichler Date: Tue, 15 Apr 2025 06:44:24 +0000 (+0200) Subject: Merge pull request #18358 from bangerth/matrix-out X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=43233dd589bb3b342fba8fd2d05f2f3b67400aa3;p=dealii.git Merge pull request #18358 from bangerth/matrix-out Minor clean-ups in MatrixOut. --- 43233dd589bb3b342fba8fd2d05f2f3b67400aa3