From: Marc Fehling Date: Mon, 23 Oct 2023 22:00:12 +0000 (-0600) Subject: Merge pull request #16171 from bangerth/x1 X-Git-Tag: relicensing~370 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=165e76bc69451a47a464055773d1de5be3aeb7aa;p=dealii.git Merge pull request #16171 from bangerth/x1 Use std::any instead of boost::any. --- 165e76bc69451a47a464055773d1de5be3aeb7aa