From: Denis Davydov Date: Mon, 11 Jul 2016 14:43:15 +0000 (+0200) Subject: Merge pull request #2806 from bangerth/fix-changelog X-Git-Tag: v8.5.0-rc1~885 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1a1e4aa69e9369b8d5b557fbb04af13e32603b3c;p=dealii.git Merge pull request #2806 from bangerth/fix-changelog Add Jean-Paul as one of the rightful contributors to a recent patch. --- 1a1e4aa69e9369b8d5b557fbb04af13e32603b3c