From: Martin Kronbichler Date: Wed, 24 Jul 2019 08:08:58 +0000 (+0200) Subject: Merge pull request #8402 from kronbichler/robustness_add_and_dot X-Git-Tag: v9.2.0-rc1~1361 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1ba04a94b046573b82828a43114b023846a7597a;p=dealii.git Merge pull request #8402 from kronbichler/robustness_add_and_dot Choose a more appropriate tolerance for vector add_and_dot --- 1ba04a94b046573b82828a43114b023846a7597a