From: Denis Davydov Date: Fri, 20 Apr 2018 19:59:25 +0000 (+0200) Subject: Merge pull request #6276 from bangerth/fix-test-2 X-Git-Tag: v9.0.0-rc1~151 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d8f6bd88ebd2a70c641f2c5ebbd361759d3392b7;p=dealii.git Merge pull request #6276 from bangerth/fix-test-2 Fix a test by increasing the precision of output. --- d8f6bd88ebd2a70c641f2c5ebbd361759d3392b7