From: David Wells Date: Wed, 2 Nov 2016 00:33:09 +0000 (-0400) Subject: Merge pull request #3339 from Rombur/exception X-Git-Tag: v8.5.0-rc1~510 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0e395a1d366eb65c9ba61aac3467be05afa647ea;p=dealii.git Merge pull request #3339 from Rombur/exception Add an include file necessary when not using multithreading. --- 0e395a1d366eb65c9ba61aac3467be05afa647ea