From: Timo Heister <timo.heister@gmail.com>
Date: Tue, 24 Nov 2015 13:39:55 +0000 (-0500)
Subject: Merge pull request #1904 from bangerth/update-reference
X-Git-Tag: v8.4.0-rc2~206
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cba139d205a8546dd51308d3e6a3323857bbfd3b;p=dealii.git

Merge pull request #1904 from bangerth/update-reference

Hallelujah.
---

cba139d205a8546dd51308d3e6a3323857bbfd3b