From: David Wells Date: Tue, 8 Nov 2016 22:06:34 +0000 (-0500) Subject: Merge pull request #3507 from bangerth/add-changelog-entry X-Git-Tag: v8.5.0-rc1~427 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1ef9d426044ed1eccc78b7e85f96d5e6975f1be5;p=dealii.git Merge pull request #3507 from bangerth/add-changelog-entry Add a changelog entry for all of the static analysis work. --- 1ef9d426044ed1eccc78b7e85f96d5e6975f1be5