From: Wolfgang Bangerth Date: Tue, 27 Dec 2016 11:06:41 +0000 (-0700) Subject: Merge pull request #3700 from davydden/index_set_index_within_set X-Git-Tag: v8.5.0-rc1~306 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3097fc8620ee78f044e6975938cad9c71ae8c84f;p=dealii.git Merge pull request #3700 from davydden/index_set_index_within_set add alternative IndexSet::index_within_set() which does not throw an … --- 3097fc8620ee78f044e6975938cad9c71ae8c84f