From: Wolfgang Bangerth Date: Sun, 13 Sep 2015 21:08:01 +0000 (-0500) Subject: Merge pull request #1586 from tamiko/bugfix X-Git-Tag: v8.4.0-rc2~431 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=78855a492fad283f150afe603473ddf84bd68dc4;p=dealii.git Merge pull request #1586 from tamiko/bugfix Bugfix: Provide overloads for mixed floating point type operations --- 78855a492fad283f150afe603473ddf84bd68dc4