From: Timo Heister <timo.heister@gmail.com>
Date: Sun, 12 May 2024 07:25:31 +0000 (+0200)
Subject: Merge pull request #17007 from bangerth/todo-authors
X-Git-Tag: v9.6.0-rc1~287
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0a141793fed16bc600f492b5e6e5755d65e117f8;p=dealii.git

Merge pull request #17007 from bangerth/todo-authors

Remove authors from steps 1-8.
---

0a141793fed16bc600f492b5e6e5755d65e117f8