From: Martin Kronbichler <kronbichler@lnm.mw.tum.de>
Date: Sun, 2 Feb 2020 16:03:55 +0000 (+0100)
Subject: Merge pull request #9463 from bangerth/dataout
X-Git-Tag: v9.2.0-rc1~583
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f07b50ea6b8f56444a685d00a74e69eb662204e4;p=dealii.git

Merge pull request #9463 from bangerth/dataout

Really minor stuff.
---

f07b50ea6b8f56444a685d00a74e69eb662204e4