Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

clarfonthey
Copy link
Contributor

These are on the API for Vec as well.

@clarfonthey
Copy link
Contributor Author

Just going through old PRs: @bluss, would you still be interested in this PR assuming I updated it, or should I just close it?

@bluss
Copy link
Owner

bluss commented Mar 25, 2024

yeah this seems fine, sorry for the wait, don't think it needs update to merge?

@bluss bluss merged commit 3a75e11 into bluss:master Mar 26, 2024
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.

2 participants