From: Martin Kronbichler Date: Thu, 18 Dec 2014 08:41:14 +0000 (+0100) Subject: Merge pull request #357 from bangerth/fix-1d327fd1 X-Git-Tag: v8.3.0-rc1~598 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f2670cf963d98a1a30b6615e1d5e6fe62e57f5ab;p=dealii.git Merge pull request #357 from bangerth/fix-1d327fd1 Fix previous commit 1d327fd1dcd34023a3d5bb2c0ee7524593d44015. --- f2670cf963d98a1a30b6615e1d5e6fe62e57f5ab