From: Bruno Turcksin <bruno.turcksin@gmail.com>
Date: Wed, 2 Aug 2023 00:59:33 +0000 (-0400)
Subject: Merge pull request #15802 from bangerth/x4
X-Git-Tag: relicensing~629
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7eddd89e74c9bbba5d50453376a4cdcd10d8958a;p=dealii.git

Merge pull request #15802 from bangerth/x4
---

7eddd89e74c9bbba5d50453376a4cdcd10d8958a