From: Denis Davydov <davydden@gmail.com>
Date: Sat, 30 Jun 2018 05:09:14 +0000 (+0200)
Subject: Merge pull request #6865 from drwells/fix-exception-classification
X-Git-Tag: v9.1.0-rc1~964
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ef81e45458a2424a02a52fb317cb54c2897c411b;p=dealii.git

Merge pull request #6865 from drwells/fix-exception-classification

Fix an exception description.
---

ef81e45458a2424a02a52fb317cb54c2897c411b