From: Wolfgang Bangerth Date: Mon, 6 Feb 2017 15:47:50 +0000 (-0700) Subject: Merge pull request #3930 from tjhei/intel_inline_warning X-Git-Tag: v8.5.0-rc1~146 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=72042cad5b546ba050b77a8aea209916e8d2adc0;p=dealii.git Merge pull request #3930 from tjhei/intel_inline_warning remove intel warning about always_inline --- 72042cad5b546ba050b77a8aea209916e8d2adc0