]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 41b7f7e 22647fb)
Merge pull request #9050 from kronbichler/fixup_vector_communication_channel
authorTimo Heister <timo.heister@gmail.com>
Fri, 15 Nov 2019 15:11:22 +0000 (10:11 -0500)
committerGitHub <noreply@github.com>
Fri, 15 Nov 2019 15:11:22 +0000 (10:11 -0500)
Fix two places where we used too large numbers in communication channel


Trivial merge
Mirror of the development repository for deal.II

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.