From: Guido Kanschat Date: Fri, 29 May 2015 05:46:35 +0000 (+0200) Subject: Merge pull request #973 from bangerth/fix-condition X-Git-Tag: v8.3.0-rc1~142 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=43fd3008adf59bda4b8ed77fbff5ffaa408ef419;p=dealii.git Merge pull request #973 from bangerth/fix-condition Use a standard method to find whether a number is normal. --- 43fd3008adf59bda4b8ed77fbff5ffaa408ef419