From: Wolfgang Bangerth Date: Wed, 8 Mar 2017 17:00:53 +0000 (-0700) Subject: Merge pull request #4034 from masterleinad/fix_detructor_throw X-Git-Tag: v8.5.0-rc1~52 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=347b8227e3231586583dbfadb9542271dd27e5cc;p=dealii.git Merge pull request #4034 from masterleinad/fix_detructor_throw Fix asserts in destructors --- 347b8227e3231586583dbfadb9542271dd27e5cc