From: Daniel Arndt Date: Sun, 24 Sep 2023 23:36:22 +0000 (-0400) Subject: Merge pull request #16039 from tjhei/fix_af_copy_from X-Git-Tag: relicensing~470 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=25ed5911c1de17bdd6368593f1ddf64d9309cd40;p=dealii.git Merge pull request #16039 from tjhei/fix_af_copy_from --- 25ed5911c1de17bdd6368593f1ddf64d9309cd40