From: Wolfgang Bangerth Date: Thu, 16 Apr 2015 23:39:26 +0000 (-0500) Subject: Merge pull request #811 from tamiko/fix_opencascade_warnings X-Git-Tag: v8.3.0-rc1~262 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b588042314d41949ea5e2af4fde20ec155b24201;p=dealii.git Merge pull request #811 from tamiko/fix_opencascade_warnings Fix opencascade warnings --- b588042314d41949ea5e2af4fde20ec155b24201