Merge pull request #147 from int-index/fix-ci
authorLennart Kolmodin <kolmodin@gmail.com>
Thu, 7 Jun 2018 05:18:51 +0000 (07:18 +0200)
committerGitHub <noreply@github.com>
Thu, 7 Jun 2018 05:18:51 +0000 (07:18 +0200)
Fix CI


Trivial merge