Merge pull request #6 from ignatenkobrain/build-feature
authorJonathan Dieter <jdieter@gmail.com>
Mon, 30 Jul 2018 12:09:28 +0000 (13:09 +0100)
committerGitHub <noreply@github.com>
Mon, 30 Jul 2018 12:09:28 +0000 (13:09 +0100)
build: use 'feature' option type


Trivial merge