From: Wolfgang Bangerth Date: Thu, 30 Jun 2016 04:31:13 +0000 (-0500) Subject: Merge pull request #2736 from drwells/string_to_double-message X-Git-Tag: v8.5.0-rc1~938 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=533d7f0688eeb45972569c725893a35709227173;p=dealii.git Merge pull request #2736 from drwells/string_to_double-message Fix the string_to_double error message. --- 533d7f0688eeb45972569c725893a35709227173