From: Martin Kronbichler <kronbichler@lnm.mw.tum.de>
Date: Mon, 27 Jul 2015 06:43:31 +0000 (+0200)
Subject: Merge pull request #1203 from bangerth/fix-pr-1183
X-Git-Tag: v8.4.0-rc2~715
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f562f22df58839a784afd55b6bac76775da36c6a;p=dealii.git

Merge pull request #1203 from bangerth/fix-pr-1183

Fix #1183.
---

f562f22df58839a784afd55b6bac76775da36c6a