From: Luca Heltai Date: Thu, 23 Nov 2017 16:25:26 +0000 (+0100) Subject: Merge pull request #5520 from bangerth/changelogs X-Git-Tag: v9.0.0-rc1~736 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2618e0f7727a5a73990255cff83d315ec414e559;p=dealii.git Merge pull request #5520 from bangerth/changelogs Make changelogs look more uniform. --- 2618e0f7727a5a73990255cff83d315ec414e559