]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: cc74c38 2cb540c)
Merge pull request #15542 from bangerth/tasks
authorMatthias Maier <tamiko@43-1.org>
Mon, 3 Jul 2023 02:10:51 +0000 (02:10 +0000)
committerGitHub <noreply@github.com>
Mon, 3 Jul 2023 02:10:51 +0000 (02:10 +0000)
Do not allow access to return value of tasks that ended in exceptions.


Trivial merge
Mirror of the development repository for deal.II

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.