From: Martin Kronbichler 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