From: Martin Kronbichler Date: Sat, 15 Aug 2015 06:16:03 +0000 (+0200) Subject: Merge pull request #1372 from bangerth/fix-non-mpi-compiles X-Git-Tag: v8.4.0-rc2~604 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=71298fbe9a875a1885f91230d0fa6cbd932c3981;p=dealii.git Merge pull request #1372 from bangerth/fix-non-mpi-compiles Fix a couple of compiler errors with non-MPI compiles. --- 71298fbe9a875a1885f91230d0fa6cbd932c3981