From: Wolfgang Bangerth <bangerth@math.tamu.edu>
Date: Sun, 26 Jul 2015 22:19:03 +0000 (-0500)
Subject: Merge pull request #1201 from tjhei/r83_pr1197_1191_1195
X-Git-Tag: v8.3.0-rc2~1
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ce1b1d2b66050b0439392a4c53e452b6b2a94565;p=dealii.git

Merge pull request #1201 from tjhei/r83_pr1197_1191_1195

[8.3] take over #1197 #1191 #1195
---

ce1b1d2b66050b0439392a4c53e452b6b2a94565