From: Martin Kronbichler <kronbichler@lnm.mw.tum.de>
Date: Sat, 2 Aug 2014 15:52:22 +0000 (+0200)
Subject: Merge pull request #49 from bangerth/fix-instantiation
X-Git-Tag: v8.2.0-rc1~232
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3e4c2a3816aa96072a4520443091da7201976576;p=dealii.git

Merge pull request #49 from bangerth/fix-instantiation

Fix an instantiation.
---

3e4c2a3816aa96072a4520443091da7201976576