]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #10265 from tamiko/pr_10259
authorMatthias Maier <tamiko@43-1.org>
Tue, 19 May 2020 02:34:32 +0000 (21:34 -0500)
committerGitHub <noreply@github.com>
Tue, 19 May 2020 02:34:32 +0000 (21:34 -0500)
commit12f0331fbab1e9fc6a3f8446e74dceb8967f6fef
treedbbf272c9396b83e47ca837037db3041c75eb141
parentcf38315ad48cb174ef2575997d7d4b55c71ed050
parentf62b86e72de9a1167bb5c31c02814fd345c6eb91
Merge pull request #10265 from tamiko/pr_10259

[9.2] Take over #10259

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.