From: David Wells Date: Thu, 8 Feb 2018 21:05:41 +0000 (-0500) Subject: Merge pull request #5861 from masterleinad/fix_unused_fraction X-Git-Tag: v9.0.0-rc1~455 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=64edced130c9ca11c40875b14fa8dc3c944b67d7;p=dealii.git Merge pull request #5861 from masterleinad/fix_unused_fraction Restrict instantiations in GridRefinement to Vector --- 64edced130c9ca11c40875b14fa8dc3c944b67d7