From: Timo Heister Date: Mon, 28 Sep 2015 12:13:07 +0000 (-0400) Subject: Merge pull request #1685 from gassmoeller/more_precise_error X-Git-Tag: v8.4.0-rc2~362 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=418001b813cf44170ff88808ecad2d7add93986b;p=dealii.git Merge pull request #1685 from gassmoeller/more_precise_error More precise error message --- 418001b813cf44170ff88808ecad2d7add93986b