From: David Wells Date: Mon, 15 Jul 2024 15:10:41 +0000 (-0400) Subject: Merge pull request #17258 from bangerth/29 X-Git-Tag: v9.6.0-rc1~96 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4d751856c5e9a4cdcb94cc20672b91fc9363d802;p=dealii.git Merge pull request #17258 from bangerth/29 step-29 no longer uses deallog. Update output in results.dox accordingly. --- 4d751856c5e9a4cdcb94cc20672b91fc9363d802