From: Wolfgang Bangerth Date: Wed, 7 Feb 2018 00:18:38 +0000 (-0700) Subject: Merge pull request #5872 from masterleinad/fix_ice_icc15 X-Git-Tag: v9.0.0-rc1~463 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=676c9e1625ddaca365c2d4fa03708252b05a8884;p=dealii.git Merge pull request #5872 from masterleinad/fix_ice_icc15 Fix another ice for ICC-15 --- 676c9e1625ddaca365c2d4fa03708252b05a8884