]> Nishi Git Mirror - gwion.git/commitdiff
Merge pull request #103 from fennecdjay/optim
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Mon, 21 Jan 2019 23:28:42 +0000 (00:28 +0100)
committerGitHub <noreply@github.com>
Mon, 21 Jan 2019 23:28:42 +0000 (00:28 +0100)
Optim


Trivial merge