From: Jérémie Astor <fennecdjay@gmail.com>
Date: Wed, 16 Dec 2020 17:02:24 +0000 (+0100)
Subject: Merge branch 'TaggedUnions2'
X-Git-Tag: nightly~1105
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=86b5f7417fd9640ed222740fc65a7bd264ecc243;p=gwion.git

Merge branch 'TaggedUnions2'
---

86b5f7417fd9640ed222740fc65a7bd264ecc243