From: Marc Fehling Date: Fri, 21 May 2021 20:13:15 +0000 (-0600) Subject: Merge pull request #12262 from bangerth/initlog-3 X-Git-Tag: v9.3.0-rc1~16 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=35f2a025b6b9fd493575e91b43d8668ca0668ae4;p=dealii.git Merge pull request #12262 from bangerth/initlog-3 Pass 'true' instead of '1' for a function that takes a 'bool' argument. --- 35f2a025b6b9fd493575e91b43d8668ca0668ae4