Merge pull request #5993 from champtar/circleci
authorStijn Tintel <stijn@linux-ipv6.be>
Wed, 24 Oct 2018 17:24:30 +0000 (20:24 +0300)
committerGitHub <noreply@github.com>
Wed, 24 Oct 2018 17:24:30 +0000 (20:24 +0300)
build: add CircleCI


Trivial merge