Skip to content

Conversation

dhardy
Copy link
Member

@dhardy dhardy commented Jul 27, 2018

Update of #565. Rebased and this now depends on the packaged version of packed_simd rather than using git directly.

@vks
Copy link
Collaborator

vks commented Jul 27, 2018

Looks good to me.

@dhardy dhardy merged commit 149c8b3 into master Jul 27, 2018
@pitdicker
Copy link
Contributor

Thank you for taking over. I have/had a combination of very little time and a broken pc since that PR 😄.

@dhardy
Copy link
Member Author

dhardy commented Jul 27, 2018

Ah, no problem! I also had very little time the last week-ish. But glad we finally got that CI failure solved.

@newpavlov newpavlov deleted the packed_simd branch May 22, 2024 02:16
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.

3 participants