From: David Wells Date: Sun, 14 May 2017 01:50:19 +0000 (-0400) Subject: Merge pull request #4387 from drwells/add-missing-indexset-instantiations X-Git-Tag: v9.0.0-rc1~1596 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e21eb60880d3c327ddd2f040f9ed085ceaec6f44;p=dealii.git Merge pull request #4387 from drwells/add-missing-indexset-instantiations Add missing FEValues IndexSet instantiations. --- e21eb60880d3c327ddd2f040f9ed085ceaec6f44