From: Daniel Arndt Date: Fri, 3 Apr 2020 16:58:03 +0000 (-0400) Subject: Merge pull request #9800 from masterleinad/minimize_boost_geometry X-Git-Tag: v9.2.0-rc1~313 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d2b86fa0875943f2f8c660e01181d7cd57ccd15a;p=dealii.git Merge pull request #9800 from masterleinad/minimize_boost_geometry Minimize boost/geometry.h includes --- d2b86fa0875943f2f8c660e01181d7cd57ccd15a