From: Timo Heister Date: Sun, 6 Dec 2015 18:31:51 +0000 (-0500) Subject: Merge pull request #1951 from bangerth/clean-up-changelog X-Git-Tag: v8.4.0-rc2~178 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7dab20b59ce2971e88748694cd5f209b0111f257;p=dealii.git Merge pull request #1951 from bangerth/clean-up-changelog Clean up a number of changelog entries. --- 7dab20b59ce2971e88748694cd5f209b0111f257