From: Wolfgang Bangerth Date: Wed, 5 Apr 2017 16:18:42 +0000 (-0600) Subject: Merge pull request #4171 from drwells/partitioner-swap X-Git-Tag: v9.0.0-rc1~1746 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7f00f23237d1ed8f3b35d8a424864879551c86e8;p=dealii.git Merge pull request #4171 from drwells/partitioner-swap Use a swap in place of a copy. --- 7f00f23237d1ed8f3b35d8a424864879551c86e8