From: Martin Kronbichler Date: Fri, 17 May 2024 13:02:37 +0000 (+0200) Subject: Merge pull request #17026 from bangerth/lazy X-Git-Tag: v9.6.0-rc1~261 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9ae06c0eb47973a38f32f469f6882330bd4e3de3;p=dealii.git Merge pull request #17026 from bangerth/lazy Add to the documentation of Lazy. --- 9ae06c0eb47973a38f32f469f6882330bd4e3de3