From: Matthias Maier <tamiko@43-1.org>
Date: Sat, 16 Jun 2018 19:32:00 +0000 (-0500)
Subject: Merge pull request #6776 from tamiko/remove_verbose_handler
X-Git-Tag: v9.1.0-rc1~1024
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2ed6d2c1d812f2df4a00f4f0241fb9d6a738c9cd;p=dealii.git

Merge pull request #6776 from tamiko/remove_verbose_handler

Exceptions: Do not set verbose terminate handler
---

2ed6d2c1d812f2df4a00f4f0241fb9d6a738c9cd