Closed ahundt closed 6 years ago
Same deal as jrl-umi3218/SpaceVecAlg#20 regarding the CI break.
This PR will then also fix the CI. Will merge when it succeeds.
Thanks for the patch :cake:
Same deal as jrl-umi3218/SpaceVecAlg#20 regarding the CI break.
This PR will then also fix the CI. Will merge when it succeeds.
Thanks for the patch :cake: