From: Daniel Arndt Date: Sun, 7 Oct 2018 01:39:53 +0000 (-0600) Subject: Merge pull request #7285 from bangerth/threads X-Git-Tag: v9.1.0-rc1~653 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=329736ed33278e6672f9885d3e77dcf4df96914a;p=dealii.git Merge pull request #7285 from bangerth/threads Deprecate Threads::n_existing_threads() and Threads::this_thread_id(). --- 329736ed33278e6672f9885d3e77dcf4df96914a