From: Timo Heister Date: Thu, 24 Sep 2015 12:14:05 +0000 (-0400) Subject: Merge pull request #1665 from bangerth/update-doc-38 X-Git-Tag: v8.4.0-rc2~372 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0137dece0766e8d9cd795f9a1c96660a0d3bc2e0;p=dealii.git Merge pull request #1665 from bangerth/update-doc-38 Fix a name in the changelog and test header. --- 0137dece0766e8d9cd795f9a1c96660a0d3bc2e0