From: Denis Davydov Date: Thu, 1 Feb 2018 16:21:19 +0000 (+0100) Subject: Merge pull request #5837 from QiaoLei-88/fix_icc15_compile X-Git-Tag: v9.0.0-rc1~486 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a870f6746fd5c17847583d7c75116b013269e14d;p=dealii.git Merge pull request #5837 from QiaoLei-88/fix_icc15_compile make icc 15 compiles on CentOS 7 --- a870f6746fd5c17847583d7c75116b013269e14d