From: Peter Munch <peterrmuench@gmail.com>
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