From: Martin Kronbichler Date: Thu, 6 Nov 2014 07:32:08 +0000 (+0100) Subject: Merge pull request #224 from bangerth/fix-compile-error X-Git-Tag: v8.2.0-rc1~84 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7ac4be65a16a200ccddd1e2b65bdd40e3a8a58f5;p=dealii.git Merge pull request #224 from bangerth/fix-compile-error Fix an oversight that prevented code from compiling. --- 7ac4be65a16a200ccddd1e2b65bdd40e3a8a58f5