Merge pull request #932 from ffontaine/master
authorDaniel-Constantin Mierla <miconda@gmail.com>
Tue, 17 Jan 2017 15:28:38 +0000 (16:28 +0100)
committerGitHub <noreply@github.com>
Tue, 17 Jan 2017 15:28:38 +0000 (16:28 +0100)
Add kmini group


Trivial merge