From: Daniel Arndt Date: Fri, 20 Jun 2025 12:59:34 +0000 (-0400) Subject: Merge pull request #18575 from kronbichler/rt_cleanup X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=430119a116785057dd2a5e7c923c163de88d518e;p=dealii.git Merge pull request #18575 from kronbichler/rt_cleanup --- 430119a116785057dd2a5e7c923c163de88d518e