]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12882 from tamiko/pr_12634
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Tue, 26 Oct 2021 08:35:22 +0000 (10:35 +0200)
committerGitHub <noreply@github.com>
Tue, 26 Oct 2021 08:35:22 +0000 (10:35 +0200)
commita6ad8952f24b6b9e136fa4c0247904f2af245711
treef65140b30cd5bfb036e373edd5eb356e3c05ce9b
parentf438b6aab54192416a1cdbafda863e6354745b7d
parentf9e352ebaea411cca41c4dbc69a2ae1c3b1267b5
Merge pull request #12882 from tamiko/pr_12634

[9.3] Cherry pick #12634

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.