From: Jérémie Astor Date: Fri, 20 Jan 2023 20:39:33 +0000 (+0100) Subject: Merge pull request #255 from Gwion/ctorstuff X-Git-Tag: nightly~207 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=faf08cc1b8bf3b1ce54cb39813aba5f98700c1b5;p=gwion.git Merge pull request #255 from Gwion/ctorstuff Ctorstuff --- faf08cc1b8bf3b1ce54cb39813aba5f98700c1b5