Closed 7675t closed 4 years ago
Somehow travis fails, so just switch to industrial_ci.
Close now, but I'm considering industrial_ci later.
Somehow travis fails, so just switch to industrial_ci.