]> Nishi Git Mirror - gwion.git/commitdiff
Merge pull request #256 from Gwion/ctorstuff
authorJérémie Astor <fennecdjay@gmail.com>
Mon, 30 Jan 2023 18:39:27 +0000 (19:39 +0100)
committerGitHub <noreply@github.com>
Mon, 30 Jan 2023 18:39:27 +0000 (19:39 +0100)
pr from clI


Trivial merge