]> Nishi Git Mirror - gwion.git/commitdiff
Merge pull request #255 from Gwion/ctorstuff
authorJérémie Astor <fennecdjay@gmail.com>
Fri, 20 Jan 2023 20:39:33 +0000 (21:39 +0100)
committerGitHub <noreply@github.com>
Fri, 20 Jan 2023 20:39:33 +0000 (21:39 +0100)
Ctorstuff


Trivial merge