From: David Wells Date: Thu, 7 Apr 2016 21:47:51 +0000 (-0400) Subject: Merge pull request #2480 from bangerth/fix-warnings-7 X-Git-Tag: v8.5.0-rc1~1130 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c05ffa33e7ab374a771eb825d63e575a1d2e71ec;p=dealii.git Merge pull request #2480 from bangerth/fix-warnings-7 Avoid warnings with unused variables. --- c05ffa33e7ab374a771eb825d63e575a1d2e71ec