From: Wolfgang Bangerth Date: Wed, 6 Feb 2019 16:31:47 +0000 (-0700) Subject: Merge pull request #7699 from davydden/feature/block_indices_global_to_local X-Git-Tag: v9.1.0-rc1~367 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8848326f40d8ecbf76d5e912a19625112ee855c0;p=dealii.git Merge pull request #7699 from davydden/feature/block_indices_global_to_local use binary search in BlockIndices::global_to_local() --- 8848326f40d8ecbf76d5e912a19625112ee855c0