From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Wed, 26 Dec 2018 07:30:30 +0000 (+0100)
Subject: Merge pull request #7544 from masterleinad/replace_trilinos_vector_partitioner
X-Git-Tag: v9.1.0-rc1~479
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=077a8f5207651f87f8030e555afd5e95f126e6be;p=dealii.git

Merge pull request #7544 from masterleinad/replace_trilinos_vector_partitioner

Replace TrilinosWrappers::MPI:Vector::vector_partitioner
---

077a8f5207651f87f8030e555afd5e95f126e6be