From: Denis Davydov <davydden@gmail.com>
Date: Thu, 29 Oct 2015 10:05:40 +0000 (+0100)
Subject: Merge pull request #1810 from davydden/sharedtria_fix_no_mpi
X-Git-Tag: v8.4.0-rc2~269
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c4afd8dcd2360c4e7a98dde26cea8d66082f62d9;p=dealii.git

Merge pull request #1810 from davydden/sharedtria_fix_no_mpi

fix shared::Tria for no-MPI case
---

c4afd8dcd2360c4e7a98dde26cea8d66082f62d9