From: Matthias Maier <tamiko@43-1.org>
Date: Tue, 12 May 2020 18:00:47 +0000 (-0500)
Subject: Merge pull request #10158 from tamiko/reuquire_current_version
X-Git-Tag: v9.3.0-rc1~1657
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=79431bc07f15f492801fe47736321535a0f26c74;p=dealii.git

Merge pull request #10158 from tamiko/reuquire_current_version

Release step 6a: Require the current version of deal.II
---

79431bc07f15f492801fe47736321535a0f26c74