From: Denis Davydov Date: Thu, 16 Jun 2016 13:43:56 +0000 (+0200) Subject: Merge pull request #2689 from kronbichler/master X-Git-Tag: v8.5.0-rc1~972 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a57fc6672e6188ffecafc8d71f89b6f87ad52bbc;p=dealii.git Merge pull request #2689 from kronbichler/master Second fix for compilation of #2615 without MPI. --- a57fc6672e6188ffecafc8d71f89b6f87ad52bbc