Update CircleCI build to use Mage
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Sun, 15 Oct 2017 08:59:16 +0000 (10:59 +0200)
committerBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Sun, 15 Oct 2017 08:59:16 +0000 (10:59 +0200)
commit68ace4343111e1f76d0be36066254cc4ec1e3177
treecdf7bb8e86dc0272886c704bb88f781357ae8404
parent5c31e0c3415a6e2b308a3953bc0056a55c15c333
Update CircleCI build to use Mage

Fixes #3969
.circleci/config.yml