From: Martin Kronbichler Date: Sun, 17 Dec 2023 14:33:37 +0000 (+0100) Subject: Merge pull request #16355 from bangerth/variant X-Git-Tag: relicensing~240 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=671a53c9158d67229e3faf03439d7349f1c60d71;p=dealii.git Merge pull request #16355 from bangerth/variant Use std::variant instead of a hand-rolled version. --- 671a53c9158d67229e3faf03439d7349f1c60d71