From: Wolfgang Bangerth Date: Tue, 30 Dec 2014 00:46:02 +0000 (-0600) Subject: Merge pull request #389 from tamiko/dealii-8.2 X-Git-Tag: v8.2.0~1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a62e4a8e18e496f954d4f0d6d7bb54c347b9a5a1;p=dealii.git Merge pull request #389 from tamiko/dealii-8.2 cherry-pick changes to release branch --- a62e4a8e18e496f954d4f0d6d7bb54c347b9a5a1