From: David Wells <drwells@email.unc.edu>
Date: Fri, 6 Mar 2020 02:25:39 +0000 (-0500)
Subject: Merge pull request #9628 from bangerth/69
X-Git-Tag: v9.2.0-rc1~452
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9cf6852d111e2e64de83edcf540dff3c884cd9e2;p=dealii.git

Merge pull request #9628 from bangerth/69

Reference step-69 in a couple of places.
---

9cf6852d111e2e64de83edcf540dff3c884cd9e2