]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Merge pull request #419 from kronbichler/master
authorTimo Heister <timo.heister@gmail.com>
Mon, 12 Jan 2015 12:38:00 +0000 (07:38 -0500)
committerTimo Heister <timo.heister@gmail.com>
Mon, 12 Jan 2015 12:38:00 +0000 (07:38 -0500)
Bugfix in state 'has_ghost_elements' of parallel vector.

When assigning a non-ghosted vector from another non-ghosted vector,
the state of the vector should be non-ghosted also when the partitioners
of the vectors are different.


Trivial merge

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.