From: Timo Heister Date: Wed, 25 Feb 2015 13:52:47 +0000 (-0500) Subject: Merge pull request #599 from tjhei/fix_warnings X-Git-Tag: v8.3.0-rc1~419 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a0c6743bde8602727acc7a0e79d6eb1eaa1006b5;p=dealii.git Merge pull request #599 from tjhei/fix_warnings fix compiler warnings that got introduced in 61a893a (#197) --- a0c6743bde8602727acc7a0e79d6eb1eaa1006b5