From: Wolfgang Bangerth Date: Tue, 13 Sep 2016 00:25:37 +0000 (+0100) Subject: Merge pull request #3104 from masterleinad/guard_mpi_index_set X-Git-Tag: v8.5.0-rc1~676 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a402b23a96bd8a09876598d8461697d2a965951f;p=dealii.git Merge pull request #3104 from masterleinad/guard_mpi_index_set Add a guard for the non-MPI case in IndexSet::is_ascending_and_one_to_one --- a402b23a96bd8a09876598d8461697d2a965951f