Skip to content

a bit clean up#31

Merged
awolverp merged 1 commit into
awolverp:mainfrom
chirizxc:clean-up
Sep 19, 2025
Merged

a bit clean up#31
awolverp merged 1 commit into
awolverp:mainfrom
chirizxc:clean-up

Conversation

@chirizxc

@chirizxc chirizxc commented Sep 18, 2025

Copy link
Copy Markdown
Contributor

I think we can use parking_lot instead of parking_lot_core, this will allow the code from the library to be used directly, instead of duplicating it

@awolverp

Copy link
Copy Markdown
Owner

This has no impact on performance, so I will include it in future updates

@awolverp
awolverp merged commit 687efb8 into awolverp:main Sep 19, 2025
2 checks passed
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