From: Daniel Arndt Date: Thu, 19 Sep 2024 12:25:23 +0000 (-0400) Subject: Merge pull request #17700 from bangerth/x-2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9d0a4890660f777214145e3b7de5d885f9bb8957;p=dealii.git Merge pull request #17700 from bangerth/x-2 Make clear what a boolean argument corresponds to. --- 9d0a4890660f777214145e3b7de5d885f9bb8957