From: Wolfgang Bangerth Date: Sun, 31 May 2015 01:23:45 +0000 (-0500) Subject: Merge pull request #980 from tjhei/fix_deprecated_statement X-Git-Tag: v8.3.0-rc1~138 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d56d0b7f21f07ab9d41181e1e12c165ab4b6c6c5;p=dealii.git Merge pull request #980 from tjhei/fix_deprecated_statement fix placement of deprecation keyword --- d56d0b7f21f07ab9d41181e1e12c165ab4b6c6c5