From: Martin Kronbichler <martin.kronbichler@uni-a.de>
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