From: Martin Kronbichler Date: Tue, 24 Jan 2017 06:58:38 +0000 (+0100) Subject: Merge pull request #3842 from jppelteret/fix_PR_1783_01 X-Git-Tag: v8.5.0-rc1~208 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3967efc366fffe1566c8c3793d2b289d84a078a3;p=dealii.git Merge pull request #3842 from jppelteret/fix_PR_1783_01 Various fixes for PR 1783 --- 3967efc366fffe1566c8c3793d2b289d84a078a3