From: Wolfgang Bangerth <bangerth@colostate.edu>
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