]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18472 from kronbichler/fix_warning
authorMartin Kronbichler <martin.kronbichler@rub.de>
Tue, 20 May 2025 20:52:20 +0000 (22:52 +0200)
committerGitHub <noreply@github.com>
Tue, 20 May 2025 20:52:20 +0000 (22:52 +0200)
commit4eb135bb846af4c945423633008e707a91cbef6b
treebd4e8bb22f6d9ce6b796a98d59e91e3ecff1abae
parent5f0a1982a1bc64c198bf3f9afab86cb7b6c8dd13
parentca3fc6f3eb63f4839299c13cfe033d08d1c5e0ab
Merge pull request #18472 from kronbichler/fix_warning

Attempt to fix warning

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.