From: Peter Munch Date: Wed, 9 Mar 2022 06:12:40 +0000 (+0100) Subject: Merge pull request #13493 from peterrum/ComputeIndexOwner_map X-Git-Tag: v9.4.0-rc1~396 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ebef361b50a27a7ea5813e67a511e8b12f3054bd;p=dealii.git Merge pull request #13493 from peterrum/ComputeIndexOwner_map ComputeIndexOwner: allow to use map instead of vector --- ebef361b50a27a7ea5813e67a511e8b12f3054bd