]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14470 from tamiko/cherry_picks
authorTimo Heister <timo.heister@gmail.com>
Fri, 25 Nov 2022 16:44:20 +0000 (11:44 -0500)
committerGitHub <noreply@github.com>
Fri, 25 Nov 2022 16:44:20 +0000 (11:44 -0500)
commit43fe81be4d630180a57231db232bda103423fda1
tree912b53e86031333ec2066753daadac98e8f47e95
parent3967ca102dbc94c77aeef48a96a62eee9ec11c91
parent85817332fba276037ea9ea9be3ac3ea5dd6efa98
Merge pull request #14470 from tamiko/cherry_picks

[9.4] Take over #14462 and #14465

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.