From: Matthias Maier <tamiko@43-1.org>
Date: Fri, 23 Oct 2015 17:58:23 +0000 (-0500)
Subject: Merge branch 'pull_1673'
X-Git-Tag: v8.4.0-rc2~296
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9db7b8aa9ea4fb11527ea5bc48d6a366365b9760;p=dealii.git

Merge branch 'pull_1673'

Manually rebase and merge pull request #1673

Closes #1673
---

9db7b8aa9ea4fb11527ea5bc48d6a366365b9760