From: Peter Munch Date: Sun, 3 Nov 2024 20:39:51 +0000 (+0100) Subject: Merge pull request #17829 from bangerth/compute_index_owner_and_requesters X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4381d05c9eb0cf495a8ddfc81146173b1c3b0a8a;p=dealii.git Merge pull request #17829 from bangerth/compute_index_owner_and_requesters Use Peter's new function in a number of places. --- 4381d05c9eb0cf495a8ddfc81146173b1c3b0a8a