From: Bruno Turcksin Date: Sun, 24 Jan 2016 00:40:21 +0000 (-0500) Subject: Merge pull request #2109 from bangerth/further-FEValues-cleanups-39 X-Git-Tag: v8.4.0-rc2~59 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=69e8489a164eadf5955b5f19784b8a6113294a91;p=dealii.git Merge pull request #2109 from bangerth/further-FEValues-cleanups-39 Remove a comment that's no longer correct. --- 69e8489a164eadf5955b5f19784b8a6113294a91