From: David Wells Date: Wed, 20 Apr 2016 16:08:47 +0000 (-0400) Subject: Merge pull request #2528 from bangerth/fix-warnings-6 X-Git-Tag: v8.5.0-rc1~1090 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e804cf3b69a704eed178f7122677f038610edaf7;p=dealii.git Merge pull request #2528 from bangerth/fix-warnings-6 Remove unused variable. --- e804cf3b69a704eed178f7122677f038610edaf7