Skip to content

Conversation

@mateuszbaran
Copy link
Collaborator

This should fix part of the problem reported in #981 .

@ufechner7
Copy link

I don't think that the failure on macOS-latest is related to this commit... So how to proceed?

@mateuszbaran
Copy link
Collaborator Author

That looks like a random failure. Now I'm going to wait for someone to review this PR.

@mateuszbaran
Copy link
Collaborator Author

@c42f could you check this PR? It's a small bugfix that would be nice to have.

@thchr
Copy link
Collaborator

thchr commented Jan 5, 2022

This seems like a correct fix to me.

@mateuszbaran mateuszbaran merged commit aa72f77 into master Jan 6, 2022
@mateuszbaran mateuszbaran deleted the mbaran/fix-vec-mvector branch January 6, 2022 13:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants