From: Wolfgang Bangerth Date: Thu, 3 Nov 2016 22:31:07 +0000 (-0600) Subject: Merge pull request #3437 from bangerth/be-careful-with-streams X-Git-Tag: v8.5.0-rc1~485 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cfe17f29f4607411e4f6e1e062a348fcfed3dfe1;p=dealii.git Merge pull request #3437 from bangerth/be-careful-with-streams Be more careful with streams. --- cfe17f29f4607411e4f6e1e062a348fcfed3dfe1