From: Daniel Arndt Date: Thu, 7 Dec 2017 09:11:38 +0000 (+0100) Subject: Merge pull request #5558 from drwells/remove-timer-sync-on-exception X-Git-Tag: v9.0.0-rc1~681 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f4696c499744cb177907906caabcb2f37811a38d;p=dealii.git Merge pull request #5558 from drwells/remove-timer-sync-on-exception Avoid MPI calls in destructors with exceptions. --- f4696c499744cb177907906caabcb2f37811a38d