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)
commitb660e3d2e4a78c6ed95f5632694c7eac6e520989
treeafcc1064614c9536b8b33c5146aebbf302188da4
parent6da9858468f50b6936c5ad64cef80098d409cbeb
parent45ef7a19b5031df5eb7dcc9b27726aefb2a36a73
Merge pull request #147 from int-index/fix-ci

Fix CI