From: David Wells Date: Mon, 2 May 2016 02:08:45 +0000 (-0400) Subject: Merge pull request #2572 from drwells/remove-const-cast-2 X-Git-Tag: v8.5.0-rc1~1059 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0528cc7996ec48a0a67b3f85f89ef08ea0d62caa;p=dealii.git Merge pull request #2572 from drwells/remove-const-cast-2 Remove unnecessary const_cast. --- 0528cc7996ec48a0a67b3f85f89ef08ea0d62caa