From: Matthias Maier Date: Fri, 26 Jul 2024 07:42:19 +0000 (+0000) Subject: Merge pull request #17395 from bangerth/52 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=19b0133728d511732202224211760159c46d20c6;p=dealii.git Merge pull request #17395 from bangerth/52 Deprecate step-52. --- 19b0133728d511732202224211760159c46d20c6