From: Daniel Arndt Date: Thu, 25 Jul 2024 15:29:38 +0000 (-0400) Subject: Merge pull request #17389 from tamiko/task-result-5 X-Git-Tag: v9.6.0-rc2~9 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=41faec69952d4b8aaa36f08b327c069072bc4764;p=dealii.git Merge pull request #17389 from tamiko/task-result-5 [9.6] Take over #17372: Obey the rule of 5 or 7 in TaskResult. --- 41faec69952d4b8aaa36f08b327c069072bc4764