From: Martin Kronbichler Date: Sat, 25 May 2024 08:09:08 +0000 (+0200) Subject: Merge pull request #17077 from bangerth/55 X-Git-Tag: v9.6.0-rc1~221 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c37f912904696b1e2cedee24fdd340e1b6dc9fb2;p=dealii.git Merge pull request #17077 from bangerth/55 step-55: Be uniform where timer sections are placed. --- c37f912904696b1e2cedee24fdd340e1b6dc9fb2