From: Wolfgang Bangerth Date: Wed, 25 Oct 2017 15:30:32 +0000 (-0600) Subject: Merge pull request #5323 from tjhei/test_numdiff_race_condition X-Git-Tag: v9.0.0-rc1~882 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7bc5fecabb87f6b4ef287832a9fd899f9610e4c8;p=dealii.git Merge pull request #5323 from tjhei/test_numdiff_race_condition Avoid numdiff check race condition in test --- 7bc5fecabb87f6b4ef287832a9fd899f9610e4c8