From: Wolfgang Bangerth Date: Tue, 5 Apr 2016 14:06:10 +0000 (-0500) Subject: Merge pull request #2452 from tjhei/pr841 X-Git-Tag: v8.4.1~3 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=66b5f53089862db06c8505ea7b81a4c66faaf3ab;p=dealii.git Merge pull request #2452 from tjhei/pr841 8.4.1-rc1 --- 66b5f53089862db06c8505ea7b81a4c66faaf3ab