From: Wolfgang Bangerth Date: Mon, 14 Sep 2015 02:21:17 +0000 (-0500) Subject: Merge pull request #1593 from bangerth/fix-warnings-4 X-Git-Tag: v8.4.0-rc2~429 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=df10c35a7268748479abc90a816a194f020a509c;p=dealii.git Merge pull request #1593 from bangerth/fix-warnings-4 Fix warning about unused function argument. --- df10c35a7268748479abc90a816a194f020a509c