From: Bruno Turcksin Date: Wed, 24 Aug 2016 12:12:16 +0000 (-0400) Subject: Merge pull request #3007 from bangerth/improve-exception X-Git-Tag: v8.5.0-rc1~741 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=840d47961bfcc16f0c44efbff4b02a2950e90ea4;p=dealii.git Merge pull request #3007 from bangerth/improve-exception Equip one exception with an error text. --- 840d47961bfcc16f0c44efbff4b02a2950e90ea4