]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7232 from bangerth/mutex-2
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Thu, 27 Sep 2018 05:40:01 +0000 (22:40 -0700)
committerGitHub <noreply@github.com>
Thu, 27 Sep 2018 05:40:01 +0000 (22:40 -0700)
commita4aeb2aae5927c0f9faece35dafa4968a38ab7c4
treeb4596c13fd467b7efa0500a1f1660871cc47099e
parent5ef6374d46f31280e9f1250ba601635c17ceea4c
parent1f8f8c1461050936070c630e6f050547252ad0b6
Merge pull request #7232 from bangerth/mutex-2

Make derivation of Threads::Mutex from std::mutex more obvious.

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.