]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16181 from bangerth/shared-1
authorMatthias Maier <tamiko@43-1.org>
Tue, 24 Oct 2023 22:28:24 +0000 (22:28 +0000)
committerGitHub <noreply@github.com>
Tue, 24 Oct 2023 22:28:24 +0000 (22:28 +0000)
commit9a6afe8547d9cfe656da64d37fd0b7b8a43b635b
tree1d6e902017af6ef53da8af350ce0356d3baea0dc
parentb723069df701732272a637d7393ff624c769c57e
parent7eb665bdb3faba19f27fdf7349f05e1104520e14
Merge pull request #16181 from bangerth/shared-1

Use a shared mutex instead of a unique one.

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.