From: Matthias Maier Date: Thu, 26 Oct 2017 16:00:15 +0000 (-0500) Subject: Merge pull request #5330 from masterleinad/restrict_boost_requirements X-Git-Tag: v9.0.0-rc1~871 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=478f34c8282c122dbfdf228514f6c52a5094667b;p=dealii.git Merge pull request #5330 from masterleinad/restrict_boost_requirements Relax requirements for external BOOST for DEAL_WITH_ZLIB=OFF --- 478f34c8282c122dbfdf228514f6c52a5094667b