From: Wolfgang Bangerth Date: Sun, 21 Jun 2015 14:07:25 +0000 (-0500) Subject: Merge pull request #1031 from davydden/kelly_modified_fix_warnings X-Git-Tag: v8.3.0-rc1~99 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d6a5fbeec697e0a146ddd4e65d292ceb2858ccfd;p=dealii.git Merge pull request #1031 from davydden/kelly_modified_fix_warnings fix GCC compiler warnings related to internal functions in error_estimator.cc --- d6a5fbeec697e0a146ddd4e65d292ceb2858ccfd