From: Luca Heltai Date: Tue, 16 Apr 2019 16:41:25 +0000 (+0200) Subject: Merge pull request #7925 from masterleinad/avoid_fpe X-Git-Tag: v9.1.0-rc1~202 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=264a1c31c7a32a744707efaaab10662f8c1e4541;p=dealii.git Merge pull request #7925 from masterleinad/avoid_fpe Fix symengine_number_type_01 in Release mode --- 264a1c31c7a32a744707efaaab10662f8c1e4541