From: Daniel Arndt Date: Mon, 29 Mar 2021 20:57:49 +0000 (-0400) Subject: Merge pull request #11976 from peterrum/parse_input_from_json X-Git-Tag: v9.3.0-rc1~270 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=76640cfe92a2e0c437df357e8fd1adfeac1d2b92;p=dealii.git Merge pull request #11976 from peterrum/parse_input_from_json Wrap boost error message in ParameterHandler::parse_input_from_json() --- 76640cfe92a2e0c437df357e8fd1adfeac1d2b92