From: Daniel Arndt Date: Tue, 20 Dec 2016 16:51:57 +0000 (+0100) Subject: Merge pull request #3687 from bangerth/make-IndexSet-threadsafe X-Git-Tag: v8.5.0-rc1~324 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=277cfed9757787cb41d6833ef29642cc7eec2e58;p=dealii.git Merge pull request #3687 from bangerth/make-IndexSet-threadsafe Add a mutex to IndexSet and use it to make IndexSet::do_compress() thread-safe. --- 277cfed9757787cb41d6833ef29642cc7eec2e58