Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Remove some unused variables in page_pool #837

Merged
merged 3 commits into from
Jan 17, 2025

Conversation

renxida
Copy link
Contributor

@renxida renxida commented Jan 17, 2025

Added them when I first implemented page_pool for some concurrency related tracking, but we should get rid of them until we actually need to use them.

@renxida renxida marked this pull request as ready for review January 17, 2025 09:30
@renxida renxida requested review from rsuderman and stbaione January 17, 2025 09:30
@renxida renxida enabled auto-merge (squash) January 17, 2025 09:31
@renxida renxida merged commit 2bdf4cd into nod-ai:main Jan 17, 2025
37 checks passed
@renxida renxida removed the request for review from rsuderman January 17, 2025 20:39
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