From: Martin Kronbichler Date: Fri, 10 May 2024 05:42:37 +0000 (+0200) Subject: Merge pull request #16986 from bangerth/logstream X-Git-Tag: v9.6.0-rc1~302 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cd64ca98b1dead98d9026df2d657a19fb00b19b2;p=dealii.git Merge pull request #16986 from bangerth/logstream Remove unnecessary references to logstream.h. --- cd64ca98b1dead98d9026df2d657a19fb00b19b2