Merge pull request #727 from ephiepark/dev
authorYann Collet <Cyan4973@users.noreply.github.com>
Wed, 5 Jun 2019 21:34:28 +0000 (14:34 -0700)
committerGitHub <noreply@github.com>
Wed, 5 Jun 2019 21:34:28 +0000 (14:34 -0700)
CircleCI : use custom Docker Image with pre-installed dependencies


Trivial merge