]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15492 from bangerth/task
authorMatthias Maier <tamiko@43-1.org>
Mon, 26 Jun 2023 21:34:53 +0000 (21:34 +0000)
committerGitHub <noreply@github.com>
Mon, 26 Jun 2023 21:34:53 +0000 (21:34 +0000)
commite09348f52f391edee7c6a53ca5b61cd06f5b2dcf
tree748716533a0c4ea1da9a7f148ca82ddead3246a0
parent952b6fa622801b8e7a14cf7f5757a017d786f016
parentbdf5bb644e763415680d65baab241b21db4382de
Merge pull request #15492 from bangerth/task

Ensure we set a flag correctly even if a task ends in an exception.

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.