Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Further optimize Clone::clone_from #128

Merged
merged 2 commits into from
Apr 14, 2024

Conversation

james7132
Copy link
Collaborator

Follow up to #127. This PR avoids a deallocation in the case where the backing store may need to grow.

@james7132 james7132 merged commit e69c788 into petgraph:master Apr 14, 2024
19 checks passed
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant