From: Matthias Maier <tamiko+GITHUB@kyomu.43-1.org>
Date: Thu, 13 Nov 2014 22:03:41 +0000 (+0100)
Subject: Merge pull request #250 from bangerth/fix-build-failure-2
X-Git-Tag: v8.2.0-rc1~62
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=93175a29ecb0b6779d6c68ed831745d1a0838406;p=dealii.git

Merge pull request #250 from bangerth/fix-build-failure-2

Fix the previous commit so that it doesn't produce a warning.
---

93175a29ecb0b6779d6c68ed831745d1a0838406