From: Matthias Maier Date: Thu, 17 Sep 2015 20:19:33 +0000 (-0500) Subject: Merge pull request #1632 from luca-heltai/fix-compilation X-Git-Tag: v8.4.0-rc2~397 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d4c2f42f55570f6464bca0efe50d8343cc2629b6;p=dealii.git Merge pull request #1632 from luca-heltai/fix-compilation Fix compilation on Mac --- d4c2f42f55570f6464bca0efe50d8343cc2629b6