]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16222 from bangerth/mutex
authorMartin Kronbichler <martin.kronbichler@uni-a.de>
Thu, 2 Nov 2023 15:22:22 +0000 (16:22 +0100)
committerGitHub <noreply@github.com>
Thu, 2 Nov 2023 15:22:22 +0000 (16:22 +0100)
commit7a5cb9991f704d3d4e085b869723ad95798adc4e
treedf71befb91219a34c75b65e9d8c744b75c111566
parent8ab4843226afef00004244acd63ff16f6a9b9dc7
parent55bbd66244e09a62ab107ef8ad321ffa06223a91
Merge pull request #16222 from bangerth/mutex

Better describe a mutex.

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.