From: Timo Heister Date: Sun, 26 Apr 2015 20:34:54 +0000 (-0400) Subject: Merge pull request #881 from bangerth/fix-warning X-Git-Tag: v8.3.0-rc1~209 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ea8e86a5863ba2746a10634c59421639f8e44975;p=dealii.git Merge pull request #881 from bangerth/fix-warning Fix a warning about an unused variable. --- ea8e86a5863ba2746a10634c59421639f8e44975