From: Timo Heister Date: Tue, 20 Dec 2016 01:18:36 +0000 (-0800) Subject: Merge pull request #3682 from bangerth/fix-IndexSet-nth_index_within_set X-Git-Tag: v8.5.0-rc1~326 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c6386cc1109908d593ab00bd944472846edd88fe;p=dealii.git Merge pull request #3682 from bangerth/fix-IndexSet-nth_index_within_set Let IndexSet::nth_index_within_set() call compress(). --- c6386cc1109908d593ab00bd944472846edd88fe