From: Timo Heister Date: Sat, 19 Apr 2025 10:36:24 +0000 (-0400) Subject: Merge pull request #18366 from bangerth/doc X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7b44f4579918ff024f4cc2e5795dde4be5ea40ed;p=dealii.git Merge pull request #18366 from bangerth/doc Remove an outdated Trilinos comment. --- 7b44f4579918ff024f4cc2e5795dde4be5ea40ed