From: Martin Kronbichler Date: Sat, 17 Oct 2020 17:56:59 +0000 (+0200) Subject: Merge pull request #11051 from peterrum/ghost_indices_subset_data X-Git-Tag: v9.3.0-rc1~1002 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=281943d9c3494f3a89629b30665a25681b98b433;p=dealii.git Merge pull request #11051 from peterrum/ghost_indices_subset_data Fix Partitioner::ghost_indices_subset_data for larger_ghost_index_set.size() == 0 --- 281943d9c3494f3a89629b30665a25681b98b433