From: Martin Kronbichler Date: Mon, 16 Apr 2018 08:50:00 +0000 (+0200) Subject: Merge pull request #6168 from tjhei/test_master X-Git-Tag: v9.0.0-rc1~173 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f0539a5aa3c1e9dac43460a1a3c9f71dd339171f;p=dealii.git Merge pull request #6168 from tjhei/test_master Improve changelog entry for #6129 --- f0539a5aa3c1e9dac43460a1a3c9f71dd339171f