From: Matthias Maier Date: Mon, 26 Oct 2015 15:44:59 +0000 (-0500) Subject: Merge pull request #1787 from tamiko/partially_revert_pr_1673 X-Git-Tag: v8.4.0-rc2~283 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f942334622383bcc78047c5c4e6b6e53c1fa6d94;p=dealii.git Merge pull request #1787 from tamiko/partially_revert_pr_1673 Partially revert pull request 1673 --- f942334622383bcc78047c5c4e6b6e53c1fa6d94