From: Peter Munch Date: Wed, 28 Jul 2021 15:58:53 +0000 (+0200) Subject: Merge pull request #12602 from peterrum/rpe_unique_fix X-Git-Tag: v9.4.0-rc1~1118 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=317a999bee2ffa91806cc91521970c1490de1f5a;p=dealii.git Merge pull request #12602 from peterrum/rpe_unique_fix Fix tolerances in GridTools::internal::distributed_compute_point_locations() --- 317a999bee2ffa91806cc91521970c1490de1f5a