From: Martin Kronbichler Date: Thu, 5 Sep 2024 06:58:10 +0000 (+0200) Subject: Merge pull request #17374 from bangerth/lazy X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bdf481faa42abb7f56cd6ff65bab9eb5162382d9;p=dealii.git Merge pull request #17374 from bangerth/lazy Implement Lazy in terms of TaskResult. --- bdf481faa42abb7f56cd6ff65bab9eb5162382d9