From: Martin Kronbichler Date: Mon, 23 Sep 2019 16:29:23 +0000 (+0200) Subject: Merge pull request #8831 from drwells/update-changelog-entries X-Git-Tag: v9.2.0-rc1~1048 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=10ba81778490e6c43d19d91ab78ff698fb8524c1;p=dealii.git Merge pull request #8831 from drwells/update-changelog-entries Improve some changelog entries. --- 10ba81778490e6c43d19d91ab78ff698fb8524c1