]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8259 from drwells/update-91-changes-9.1
authorMatthias Maier <tamiko@43-1.org>
Mon, 20 May 2019 20:45:49 +0000 (15:45 -0500)
committerGitHub <noreply@github.com>
Mon, 20 May 2019 20:45:49 +0000 (15:45 -0500)
commit35b928b3390b562d65c3b8a60a619ff3e525f93a
tree7e24ebdcc4ab4484087debe51a428e2f1f7dc7d8
parent9e2eaef149593853cf264f1ee26b9804da7aca21
parent8d4aeeeae1492882975307ac590cd5f2c4f7edc1
Merge pull request #8259 from drwells/update-91-changes-9.1

[9.1] Take over #8256

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.