From: Daniel Arndt Date: Mon, 8 Jul 2019 22:50:24 +0000 (-0400) Subject: Merge pull request #8356 from kostyfisik/master X-Git-Tag: v9.2.0-rc1~1406 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8c34122e7e5cc825e18b4f89fb6e1a9319e26e10;p=dealii.git Merge pull request #8356 from kostyfisik/master std::strings stores the filename, not the file handler --- 8c34122e7e5cc825e18b4f89fb6e1a9319e26e10