]> Nishi Git Mirror - gwion.git/commitdiff
Merge pull request #122 from fennecdjay/UnionTmpl
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 6 Jun 2019 18:38:24 +0000 (20:38 +0200)
committerGitHub <noreply@github.com>
Thu, 6 Jun 2019 18:38:24 +0000 (20:38 +0200)
Some cleanup


Trivial merge