From: Martin Kronbichler Date: Tue, 24 Nov 2020 09:48:38 +0000 (+0100) Subject: Merge pull request #11236 from bangerth/import-1 X-Git-Tag: v9.3.0-rc1~857 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8f36887c2736a0ea31bdcb948227ec9dcc8818ff;p=dealii.git Merge pull request #11236 from bangerth/import-1 Rename an internal variable from 'import' to 'importer'. --- 8f36887c2736a0ea31bdcb948227ec9dcc8818ff