From: Wolfgang Bangerth Date: Fri, 10 May 2019 01:53:35 +0000 (-0600) Subject: Merge pull request #8056 from bangerth/partition X-Git-Tag: v9.1.0-rc1~99 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ecaba01f48c8ae6c6a841be85524ecc060743a05;p=dealii.git Merge pull request #8056 from bangerth/partition Simplify the code that partitions shared triangulations. --- ecaba01f48c8ae6c6a841be85524ecc060743a05