From: Wolfgang Bangerth Date: Fri, 30 Nov 2018 04:30:36 +0000 (-0700) Subject: Merge pull request #7486 from masterleinad/avoid_c_style_cast_7 X-Git-Tag: v9.1.0-rc1~520 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=666f1e246ad8a6417077b6bbb4515763de769bda;p=dealii.git Merge pull request #7486 from masterleinad/avoid_c_style_cast_7 Avoid C-style cast in fe --- 666f1e246ad8a6417077b6bbb4515763de769bda