From: Martin Kronbichler <martin.kronbichler@uni-a.de>
Date: Sat, 13 May 2023 07:48:35 +0000 (+0200)
Subject: Merge pull request #15196 from bangerth/import-3
X-Git-Tag: v9.5.0-rc1~239
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=89a79f24d29d64ae5d93cd77734fe4a837ef369b;p=dealii.git

Merge pull request #15196 from bangerth/import-3

Avoid variables named 'import', part 2.
---

89a79f24d29d64ae5d93cd77734fe4a837ef369b