From: Martin Kronbichler Date: Thu, 7 Jan 2016 17:31:41 +0000 (+0100) Subject: Merge pull request #2040 from bangerth/fix-changelog X-Git-Tag: v8.4.0-rc2~108 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=29b2febcc438064cc6a6a88e75cdf80bd21ccce8;p=dealii.git Merge pull request #2040 from bangerth/fix-changelog Add a missing name to an entry in changes.h. --- 29b2febcc438064cc6a6a88e75cdf80bd21ccce8