From: Daniel Arndt Date: Thu, 20 Jul 2023 19:22:24 +0000 (-0400) Subject: Merge pull request #15765 from bangerth/decay_t X-Git-Tag: relicensing~665 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dcce8d69eee0b9e6c4145c19a812b2b3ce2ebe7e;p=dealii.git Merge pull request #15765 from bangerth/decay_t --- dcce8d69eee0b9e6c4145c19a812b2b3ce2ebe7e