From: Michael F. Herbst <info@michael-herbst.com>
Date: Tue, 24 Feb 2015 15:14:04 +0000 (+0100)
Subject: Merge branch 'master' of https://github.com/dealii/dealii
X-Git-Tag: v8.3.0-rc1~422^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=47afcad0bd75d68f1d3c1d2f4b56656d3504c548;p=dealii.git

Merge branch 'master' of https://github.com/dealii/dealii
---

47afcad0bd75d68f1d3c1d2f4b56656d3504c548