From: Wolfgang Bangerth Date: Wed, 29 Jan 2025 16:45:01 +0000 (-0700) Subject: Merge pull request #18053 from marcfehling/test-example-message X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=95abc678326409dc3cb7359647befac2dbb18300;p=dealii.git Merge pull request #18053 from marcfehling/test-example-message Reference readme when step-XX.diff is missing. --- 95abc678326409dc3cb7359647befac2dbb18300