From: Martin Kronbichler Date: Mon, 7 Oct 2019 10:01:21 +0000 (+0200) Subject: Merge pull request #8888 from masterleinad/bind_thread_management X-Git-Tag: v9.2.0-rc1~993 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a4d8feed988960f30c9d0249bdb594bf1ad0cdf8;p=dealii.git Merge pull request #8888 from masterleinad/bind_thread_management Remove some uses of std::bind from thread_management.h --- a4d8feed988960f30c9d0249bdb594bf1ad0cdf8