From: Luca Heltai <luca.heltai@sissa.it>
Date: Sat, 1 Apr 2023 20:37:23 +0000 (+0300)
Subject: Merge pull request #15005 from bangerth/test
X-Git-Tag: v9.5.0-rc1~382
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=982a52a150913752215d81d237d27b6a7e50fc0d;p=dealii.git

Merge pull request #15005 from bangerth/test

Add a test for GridTools::Cache::get_covering_rtree().
---

982a52a150913752215d81d237d27b6a7e50fc0d