From: Martin Kronbichler Date: Tue, 30 Nov 2021 07:50:59 +0000 (+0100) Subject: Merge pull request #13009 from bangerth/init X-Git-Tag: v9.4.0-rc1~788 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1e29ed4ff872b992a775a5c1273fee22804306d6;p=dealii.git Merge pull request #13009 from bangerth/init Use a simpler way to initialize default arguments. --- 1e29ed4ff872b992a775a5c1273fee22804306d6