From: Martin Kronbichler Date: Thu, 17 Dec 2015 06:59:49 +0000 (+0100) Subject: Merge pull request #1988 from bangerth/avoid-deprecated-function X-Git-Tag: v8.4.0-rc2~151 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a2e9471366a3f03788bad36e99fd4a103befee6d;p=dealii.git Merge pull request #1988 from bangerth/avoid-deprecated-function Avoid using a deprecated function. --- a2e9471366a3f03788bad36e99fd4a103befee6d