From: Matthias Maier Date: Tue, 28 Jan 2025 18:57:49 +0000 (+0000) Subject: Merge pull request #18028 from bangerth/parameter-handler X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3e8a5811093f3de881e88e35e517580661037da3;p=dealii.git Merge pull request #18028 from bangerth/parameter-handler Fix an issue with spaces in ParameterHandler output. --- 3e8a5811093f3de881e88e35e517580661037da3