]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18522 from bangerth/workstream
authorMartin Kronbichler <martin.kronbichler@rub.de>
Sun, 1 Jun 2025 09:05:17 +0000 (11:05 +0200)
committerGitHub <noreply@github.com>
Sun, 1 Jun 2025 09:05:17 +0000 (11:05 +0200)
commit2dce314e7c6a466d17327a8c9796473fe52e491c
tree572fece2c5440d44e452191a51677c36c2db9471
parentd6293c02bb272d0d7fc181cf62d131335a275135
parentd3da0e62ec5055edad0170d3e7bbee8bf059a1f6
Merge pull request #18522 from bangerth/workstream

Disambiguate one of the WorkStream::run() overloads.

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.