Closed chipitsine closed 7 years ago
Apparently this could be closed, as Travis support was introduced by 97b5c031675a07bcef3b0cdfb23b7158b6afab3b already?
@thibaultcha Right. It's already merged. I'm closing this.
Apparently this could be closed, as Travis support was introduced by 97b5c031675a07bcef3b0cdfb23b7158b6afab3b already?